About Us

The Software Reliability Lab (SRL) is a research group in the Department of Computer Science at ETH Zurich led by Prof. Martin Vechev. Our current focus is on building practical and reliable artificial intelligence (A.I.) systems. Towards this we work on a wide range of topics spanning theory and applications of program synthesis, automated reasoning, probabilistic programming and interpreting machine learning models.

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