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: and ChainSecurity. Please see Research and Publications to learn more.


Due to the spread of the coronavirus, ETH Zurich has switched to emergency operation. The buildings are no longer open with immediate effect. Please use the central website to keep yourself informed about further measures taken by ETH Zurich.

Please follow the protection instructions of the Federal Office of Public Health (FOPH)

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

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