Current Thesis Students and Interns
| Aurélia Autem Master student |
| Ahmed Bouhoula Research Project |
| Liangwei Chen Master student with LatticeFlow |
| Claudio Ferrari Master student |
| Jakob Heckelmann Master student |
| Carolin Hecking-Veltman Master student with LatticeFlow |
| Miklós Z. Horváth Master student |
| Nikola Jovanovic Master student |
| Yannick Merkli Master student with LatticeFlow |
| Katja Möhring Master student with DeepCode |
| André Rogger Capstone Project |
| Anian Ruoss Master student |
| Daniel Trujillo Practical Work |
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. Pavol Bielik, Co-founder and CTO at LatticeFlow AG
- Dr. Petar Tsankov, Co-founder and CEO at LatticeFlow AG
- Dr. Gagandeep Singh, as of August 2021 Assistant Professor at University of Illinois at Urbana-Champaign UIUC
- Dr. Dimitar K. Dimitrov, now Director of Research at PwC, awarded with the ETH Medal
for outstanding doctoral thesis - Dr. Dana Drachsler-Cohen, now tenure-track assistant professor at Technion, Israel
- Dr. Sasa Misailovic, now tenure-track assistant professor at University of Illinois at Urbana-Champaign UIUC
- Dr. Veselin Raychev, now CTO at DeepCode (a startup on AI for code), awarded with the ETH Medal for outstanding doctoral thesis and with the ACM Doctoral Dissertation Award
- Dr. Andrei Marian Dan, now researcher at Hitachi ABB Power Grids Research, 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
- Nikola Jovanovic
- Johannes Kapfhammer
- Svetoslav Karaivanov
- Tobias Lorenz
- Hleb Makarchuk
- Jonathan Maurer
- Christoph Müller
- Anton Permenev
- Emilien Pilloud
- Anian Ruoss
- Wonryong Ryou
- Ioannis Sachinoglou
- Philippe Schlattner
- Pirmin Schmid
- Christian Sprecher
- Mihaela Stoian
- Yasen Trifonov
- Chengyuan Yao
- Matus Zilinec