About Us

The Software Reliability Lab (SRL) is a research group in the Department of Computer Science at ETH Zurich. 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, reasoning tools 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.