About Us

The Secure, Reliable, and Intelligent Systems Lab (SRI) is a research group in the Department of Computer Science at ETH Zurich. We are also part of the ETH ICE center on interdisciplinary research. Our group tends to work on inter-disciplinary topics spanning theory and systems. Currently, we are actively working on practical and reliable artificial intelligence (A.I.), new machine learning methods to automate programming, and reasoning approaches for more dependable systems (e.g., blockchain security, computer networks, etc).

Over the last few years we have built a number of systems around these topics, widely used in both industry and academia, including: JSNice, APK Deguard, PSI Solver, Securify, Nice2Predict and others. To learn about our work, please see research and publications for more information.