Administration
Current Thesis Students
| Nick Baumann Master student |
| Jakob Beckmann Master student |
| Thomas Cambier Master student |
| Rubin Deliallisi Master student |
| Rupanshu Ganvir Master student |
| Jonathan Maurer Master student |
| Axel Pohl Bachelor student |
| Robin Staab Bachelor 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
- Lavrentios Frobeen
- Mario Gehrsbach
- Anton Permenev
- Inna Grijnevitch
- Pirmin Schmid
- Mihaela Stoian
- Kevin De Keyser
- Rupanshu Ganvir
- Viktor Ivanov
- Yasen Trifonov
- Pesho Ivanov
- Svetoslav Karaivanov
- Casper Jensen