Current Thesis Students and Interns
| Karlo Angelic Project Mobility Student |
| Giovanni De Muri Practical Work and Project Intern |
| Yu-Du Feng Master Student |
| Hanno Hiss Master Student |
| Sebastian Holesz Project Mobility Student |
| Elena Lyulina Practical Work |
| Kari Rögnvaldsson Master Student |
| Alexandru Serban Practical Work |
| Roman Tarasov Master Student |
| Alex Tillen Practical Work |
| Tobias von Arx Practical Work |
| William Kalikman Practical Work |
Past Sabbatical Visitors
- Prof. Dr. Dana Drachsler-Cohen (Technion, Israel)
- Prof. Dr. Patrick Lam (University of Waterloo, Canada)
- Prof. Dr. Swarat Chaudhuri (Rice University, USA)
Past PhD students and Post-Docs in the group
- Dr. Dimitar Iliev Dimitrov, now Post-Doc at INSAIT
- Dr. Luca Beurer-Kellner, CTO and Co-Founder Invariant Labs
- Dr. Momchil Peychev, now ML Engineer at Daedalean AI
- Dr. Marc Fischer, CEO and Co-Founder Invariant Labs
- Dr. Anouk Paradis, now Software Engineer at Distran
- Dr. Jingxuan He, now Post-Doc at UC Berkeley working with Prof. Dawn Song, awarded with the ETH Medal
for outstanding doctoral thesis - Dr. Max Baader, now Staff Research Engineer at Snyk
- Dr. Mark Niklas Müller, Co-founder and Chief Technology Officer at LogicStar AI
- Dr. Benjamin Bichsel, Co-founder and CEO at NetFabric, awarded with the ETH Medal for outstanding doctoral thesis and with the ACM SIGPLAN John J. Reynolds Doctoral Dissertation Award
- Dr. Tobias Bühler, Co-founder and CTO at NetFabric
- Dr. Mislav Balunovic, now Senior Research Scientist at Google DeepMind
- Dr. Pesho Ivanov, now Post-Doc at Prof. Paul Medvedev's lab at Penn State
- Dr. Nikola Konstantinov, now tenure-track faculty at INSAIT
- Dr. Samuel Steffen, now Senior Software Engineer at Veezoo, awarded with the ACM SIGSAC Doctoral Dissertation Award Runner-Up for top 3 dissertation in the world in security
- Dr. Timon Gehr, now Senior Scientist at SRI Lab, awarded with the ETH Medal for outstanding doctoral thesis
- Dr. Matthew Mirman, founder & CEO at anarchy.ai
- Dr. Rüdiger Birkner, now Research Scientist at DFINITY, awarded with the 2022 EuroSys Roger Needham PhD Award
- Dr. Pavol Bielik, Co-founder and CTO at LatticeFlow AG
- Dr. Petar Tsankov, Co-founder and CEO at LatticeFlow AG
- Dr. Gagandeep Singh, now Assistant Professor at University of Illinois at Urbana-Champaign UIUC, co-received the ACM SIGPLAN Doctoral Dissertation Award
- Dr. Dimitar K. Dimitrov, now Chief Research Officer at Chain Security, awarded with the ETH Medal for outstanding doctoral thesis
- Dr. Dana Drachsler-Cohen, now tenure-track Assistant Professor at Technion, Israel
- Dr. Sasa Misailovic, now tenure-track Assistant Professor at University of Illinois at Urbana-Champaign UIUC
- Dr. Veselin Raychev, Co-founder and Chief Architect LogicStar, former Head of AI at Snyk, Co-founder of deepcode.ai, awarded with the ETH Medal for outstanding doctoral thesis and with the ACM Doctoral Dissertation Award
- Dr. Andrei Marian Dan, now Research Scientist at Hitachi ABB Power Grids Research, Switzerland
Former Interns
- Korbinian Abstreiter
- Gregory Bonaert
- Manuel Breitenstein
- Ozgur Celik
- Lavrentios Frobeen
- Philipp Guldimann
- Kevin De Keyser
- Inna Grijnevitch
- Viktor Ivanov
- Slobodan Jenko
- Casper Jensen
- Svetoslav Karaivanov
- Johan Lokna
- Francisco Machado
- Hleb Makarchuk
- Ivan Milev
- Mehrshad Mirmohammadi
- Christoph Müller
- Emilien Pilloud
- Angéline Pouget
- Pirmin Schmid
- Alexander Spiridonov
- Mihaela Stoian
- Yasen Trifonov
- Tianxiang Xia
- Hanna Yukhymenko
- Matus Zilinec