Before Manchester

Teaching

• ETH Zurich — Compiler Design (Head TA), Fall 2019, 2020, 2021; Software Engineering (Head TA), Spring 2021; Data Modelling and Databases, Spring 2020, 2023; Formal Methods and Functional Programming, Spring 2022; Algorithms and Data Structures, Spring 2024; Research Topics in Software Engineering, Spring 2020, 2021, 2022, Fall 2020
• University of Konstanz — Decision Procedures, Fall 2018; Software Engineering, Fall 2018
• University of Freiburg — Model Checking, Fall 2016; Theoretical Computer Science, Fall 2016

Supervised Students

At ETH Zurich

• Pasquale Jordan (MSc. thesis, completed)
• Andrei Zhukov (Practical work, completed)
• Thea Kjeldsmark (Intern, completed)
• Lu Maltsis (BSc. thesis, completed)
• Violet Szabo; (Intern, completed)
  • POPL '24 SRC paper
  • first author on work on compilation hardness of PLs [preprint]
• Marc Andriu Carigiet (BSc. thesis, completed)
• Michael Mörschell (BSc. thesis, completed) → MSc. student @ETH Zurich
• Jiwon Park (BSc. thesis + Internship, completed)   → Ph.D. student @UC Berkeley
  • 2nd place@FSE '21 SRC
  • Co-first author of OOPSLA '21 paper
• Mauro Bringolf (MSc. thesis, completed) → Software Engineer @ University of St. Gallen Digitec
  • First author of ASE'22 paper
• Dylan J Wolff (MSc. thesis, completed) → Ph.D. student @National University of Singapore
  • POPL '21 SRC paper
• Altin Alickaj (Practical work, completed)   → Oracle labs