The Secure, Reliable, and Intelligent Systems Lab (SRI) is a research group in the Department of Computer Science at ETH Zurich. Our current research focus is on the areas of reliable, secure, robust and fair machine learning, probabilistic and quantum programming, and machine learning for code. Our work led to three ETH spin-offs: DeepCode.ai (AI for Code), ChainSecurity (security verification), and LatticeFlow (robust machine learning). Please see Research and Publications to learn more.

News

Professor Martin Vechev was appointed Full Professor of Computer Science in the Department of Computer Science. His achievements in a number of areas are globally regarded as groundbreaking.

Ensuring that our programs behave securely and reliably is a fundamental challenge today. The aim of this workshop is to provide insight into the latest research advances. See website for details.

Our new ETH spin-off LatticeFlow raises USD 2.8M to help companies build and deploy trustworty AI. Read articles on TechCrunch and ETH.

Dimitar K. Dimitrov, former doctoral student at SRI Lab, has won the ETH Medal for his outstanding doctoral thesis. See website of D-INFK for detailed information.

Our spin-off DeepCode which built the first AI platform for code was acquired by the cybersecurity unicorn Snyk.

Release of Silq, the first intuitive programming language for quantum computers. Read article the article by TechCrunch.

Please follow the protection instructions of the Federal Office of Public Health (FOPH). Use the central website to keep informed about coronavirus measures taken by ETH Zurich.

Invited Talk at POPL’20 by Prof. Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0?