Administration
Current Thesis Students and Interns
| Hüseyin Berabi Master student |
| Luca Beurer-Kellner Master student |
| Tobias Brodmann Master student |
| Dimitar I. Dimitrov Master student, Direct doctorand |
| Rupanshu Ganvir Master student |
| Johannes Kapfhammer Master student |
| Tobias Lorenz Master student |
| Mark Müller 30 Credit project student |
| Anouk Paradis Master student |
| Momchil Peychev Master student, Direct doctorand |
| Anian Ruoss Intern, Project assistant |
| Wonryong Ryou Intern, Project assistant |
| Ioannis Sachinoglou Master student |
| Aleixo Sanchez Master student |
| Lukas Schär Master student |
| Benjamin Schmid Master student |
| Gishor Sivanrupan Master student |
| Christian Sprecher Master student |
| Chengyuan Yao 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
- Dimitar K. Dimitrov, now Director of Research at PwC
- 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
- Korbinian Abstreiter
- Gregory Bonaert
- Manuel Breitenstein
- Lavrentios Frobeen
- Kevin De Keyser
- Rupanshu Ganvir
- Mario Gehrsbach
- Inna Grijnevitch
- Pesho Ivanov
- Viktor Ivanov
- Casper Jensen
- Svetoslav Karaivanov
- Jonathan Maurer
- Christoph Müller
- Anton Permenev
- Emilien Pilloud
- Ioannis Sachinoglou
- Philippe Schlattner
- Pirmin Schmid
- Mihaela Stoian
- Yasen Trifonov
- Matus Zilinec