The Software Reliability Lab (SRL) is a research group in the Department of Computer Science at ETH Zurich led by Prof. Martin Vechev. The main focus of our lab is in developing automated tools and techniques in the area of program analysis, programming languages and synthesis, and applying these techniques to build robust and efficient software systems. To gain familiarity with our work, please see the research and publications web pages.