Current Members
Administration
Current Thesis/Semester Students
| Adrian Hoffmann Bachelor student |
| Robin Valer Master student |
| Christopher Signer Master student |
| Viktor Chibotaru Master student |
| Jan Eberhardt Master student |
| Samuel Schmid Master student |
| Anton Permenev Master student |
| Polena Lilyanova Master student |
| Pirmin Schmid Master student |
| Mislav Balunovic 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
Past B.Sc./M.Sc. Thesis Students
| 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
- Kevin De Keyser
- Rupanshu Ganvir
- Viktor Ivanov
- Yasen Trifonov
- Pesho Ivanov
- Svetoslav Karaivanov
- Casper Jensen