Current Thesis Students and Interns
| Jasper Dekoninck Master student |
| László Dirks Mobility project student |
| Abra Ganz Mobility project student |
| Tristan Girard Master student |
| Slobodan Jenko Practical work |
| Gabriela Krasnopolska Practical work |
| Martin Kucera Practical work |
| Johan Lokna Master student |
| Yuhao Mao Master student |
| Niels Mündler Master student |
| Angéline Pouget RCS student |
| Robin Staab Master student |
| Robert Szasz Master student |
| Johannes Weidenfeller Master student |
| Mengtao Zhang Master student |
Past Sabbatical Visitors
- 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. Nikola Konstantinov, now tenure-track faculty at INSAIT
- Dr. Samuel Steffen, now Post-Doc at SRI Lab
- Dr. Timon Gehr, now Post-Doc 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 of deepcode.ai, now Head of AI at Snyk, 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
- Jasper Dekoninck
- Lavrentios Frobeen
- Kevin De Keyser
- Franziska Eckert
- Rupanshu Ganvir
- Mario Gehrsbach
- Inna Grijnevitch
- Pesho Ivanov
- Viktor Ivanov
- Casper Jensen
- Nikola Jovanović
- Johannes Kapfhammer
- Svetoslav Karaivanov
- Johan Lokna
- Tobias Lorenz
- Hleb Makarchuk
- Jonathan Maurer
- Christoph Müller
- Anton Permenev
- Emilien Pilloud
- Anian Ruoss
- Wonryong Ryou
- Ioannis Sachinoglou
- Philippe Schlattner
- Pirmin Schmid
- Christian Sprecher
- Robin Staab
- Mihaela Stoian
- Yasen Trifonov
- Mark Vero
- Chengyuan Yao
- Mustafa Zeqiri
- Matus Zilinec