The Secure, Reliable, and Intelligent Systems Lab (SRI) is a research group in the Department of Computer Science at ETH Zurich and part of the ETH ICE center. We work at the broad intersection of machine learning and formal reasoning with applications to safe artificial intelligence, probabilistic and quantum programming, AI-driven coding, security and others. Our work led to two ETH spin-offs: DeepCode.ai and ChainSecurity. Please see Research and Publications to learn more.

News

Prof. Martin Vechev receives the prestigious ACM Young Researcher Award.

Release of VerX, the first functional verifier for Ethereum smart contracts.

Timon Gehr wins IBM PhD fellowship (1 out of 16 worldwide).

Is AI coming for your coding job? Intervew with Martin Vechev, read it here.

Artificial intelligence put to the test - interview with Martin Vechev for Horizonte, the Swiss research magazine

ChainSecurity prevents a serious security issue in Ethereum’s planned upgrade: CoinDesk Forbes MIT tech review ZDNet

Is coding finished?

Web3 Research and the ICE center announce a research collaboration on security and correctness of the finality of consensus algorithms