
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 three ETH spin-offs: DeepCode.ai, ChainSecurity,
and LatticeFlow.
Please see Research and
Publications to learn
more.