The Software Reliability Lab (SRL) is a research group in the Department of Computer Science at ETH Zurich. In our lab, we develop tools and techniques in the area of program analysis, programming languages and synthesis, and apply these techniques to build robust and efficient software systems. To get familiar with our work, please see research and publications.
If you are interested in joining our lab (for a B.Sc. thesis, M.Sc. thesis, PhD or a post-doc) or are interested in collaboration, please do not hesitate to contact us.