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
. Please see Research
to learn more.