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. The focus of our lab is in developing tools and techniques which make it easier to build more robust and efficient software. Our work is fairly interdisciplinary involving program analysis, machine learning and synthesis. Please see research and publications for more information.