Administration
Current Thesis/Semester Students
| Andrei Ursache Master student |
| Philippe Schlattner Master student |
| Petar Ivanov Master student |
| Luc Haller Master student |
| Christiane Goltz Master student |
| Jonas Felber Master student |
| Rupanshu Ganvir Semester student |
| Joel Oskarsson Semester student |
| Panayiotis Panayiotou Semester student |
| Benjamin Schmid Semester student |
| Andrius Buinovskij Semester student |
| Wonryong Ryou Semester student |
| Anian Ruoss Semester 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. Dana Drachsler-Cohen, now tenure-track assistant professor at Technion, Israel
- 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
| Steven Stalder | |
| Mario Gersbach | Frobeen Lavrentios |
| Larissa Laich | Frederic Vogel |
| Mislav Balunovic | Carlo Saladin |
| Tobias Verhulst | Viviane Onus |
| Marc Fischer | 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 |
| Cedric 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 | Jeremie Miserez |
| Quentin Hubon | Jibin Ou |
| Noa Philippe Javet | Pascal Roos |
| Benjamin Tobia Mularczyk | Christine Zeller |
| Pascal Wiesmann | Gagandeep Singh |
Former Interns
- Inna Grijnevitch
- Pirmin Schmid
- Mihaela Stoian
- Kevin De Keyser
- Rupanshu Ganvir
- Viktor Ivanov
- Yasen Trifonov
- Pesho Ivanov
- Svetoslav Karaivanov
- Casper Jensen