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. We are currently working on practical and reliable artificial intelligence (A.I.) systems, application of machine learning to programming, and blockchain security. Over the last few years we have built a number of such machine learning and security analysis 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.