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
Former Interns
- Inna Grijnevitch
- Pirmin Schmid
- Mihaela Stoian
- Kevin De Keyser
- Rupanshu Ganvir
- Viktor Ivanov
- Yasen Trifonov
- Pesho Ivanov
- Svetoslav Karaivanov
- Casper Jensen