Teaching

Courses

• Programmeertalen (BSc Informatica)
• Compiler Construction (BSc Informatica)
• Software Evolution (MSc Software Engineering)

Prospective student projects

The following projects can be executed by students at the Informatics Institute of the University of Amsterdam or at the Vrije Universiteit Amsterdam within the joint UvA-VU program Computer Science.
Interested? Reach out!

• Verification and consistency-checking of contracts
• A case study with fundamental programming constructs

PhD supervision

• Andrea Marino, PhD student, 2024–
• Tommaso Pacciani, PhD student, 2024–
• Sofia Ali, PhD student, 2024–
• Damian Frölich, PhD student 2021–
• Christopher Esterhuyse, PhD student 2021–
• Lu-Chi Liu, PhD student 2020–
• Milen G. Kebede, PhD student 2020–

Interesting theses

• Olaf Erkemeij, MSc Student 2024-2025, Thesis: Exploring Efficient Storage of State in Exploratory Programming
• Max Boksem, MSc Student 2024-25, Thesis: Bridging Incremental Programming and Complex Software Development in Modern Programming Environments
• Floris van Leeuwen, MSc Student 2023, Thesis: Commit Classification using Large Language Models [UvA-Library]
• Jorrit Stutterheim, MSc Student 2023, Thesis: DYNAMOS: Dynamically Adaptive Microservice-based OS; A Middleware for Data Exchange Systems [UvA-Library]
• Florine de Geus, MSc Student 2022, Thesis: Model Checking Normative Systems [UvA-Library]
• Nina Verheijen, MSc Student 2022, Thesis: Automating Compliance in Government Organisations using eFLINT [UvA-Library]
• Joey Lai, MSc student 2021, Thesis: Computational Notebooks on top of an Exploring Interpreter, [UvA-Library]
• Damian Frölich, MSc student 2021, Thesis: Exploratory Programming for the Masses with Support for Polyglot Exploration