Current Members
Administration
Current Thesis/Semester Students
| Larissa Laich Master student |
| Carlo Saladin Master student |
| Mislav Balunovic Master student |
| Marc Fischer Master student |
| Frobeen Lavrentios Master student |
| Mario Gersbach Master student |
| Frederic Vogel Master student |
| Tobias Verhulst Master student |
| Oliver Harley 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. Sasa Misailovic, now tenure-track assistant professor at UIUC
- Veselin Raychev, now CTO at DeepCode.ai, a startup on AI for code
- Andrei Marian Dan, now researcher at ABB Research Center, Switzerland
Past B.Sc./M.Sc. Thesis Students
| Nils Weller | |
| Adrian Hoffmann | Christopher Signer |
| Viktor Chibotaru | Jan Eberhardt |
| Samuel Schmid | Anton Permenev |
| Polena Lilyanova | Nodar Ambroladze |
| Samuel Steffen | Alexey Kustov |
| Johannes Kapfhammer | Tobias Kaiser |
| Aleksander Matusiak | Jingxuan He |
| Nick Baumann | Cyril Steimer |
| Cédric Baumann | Alexandra Maximova |
| Prabhakara Santhanam | Matteo Panzacchi |
| Benjamin Bichsel | Pavol Bielik |
| Ylli Muhadri | Timon Gehr |
| Florian Buenzli | Attila Printz |
| Rumen Paletov | Christian Fehlmann |
| Pavle Djordjevic | Jérémie Miserez |
| Quentin Hubon | Jibin Ou |
| Noé Philippe Javet | Pascal Roos |
| Benjamin Tobia Mularczyk | Christine Zeller |
| Pascal Wiesmann | Gagandeep Singh |
Former Interns
- Pirmin Schmid
- Mihaela Stoian
- Kevin De Keyser
- Rupanshu Ganvir
- Viktor Ivanov
- Yasen Trifonov
- Pesho Ivanov
- Svetoslav Karaivanov
- Casper Jensen