We develop tools and techniques in the area of programming languages, program analysis and synthesis, and apply them to build robust and efficient software systems. To get more familiar with our work, please see the research and publication web pages.
We are currently hiring. If interested, please send a CV at jobs-srl@inf.ethz.ch
For those pursuing B.Sc./M.Sc. at ETH, we have a number of available thesis topics.