Teaching

Courses

• Programmeertalen (BSc Informatica): Coordinator and lecturer
• Compiler Construction (BSc Informatica): Coordinator and lecturer
• Software Evolution (MSc Software Engineering): Coordinator and lecturer

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!

• Exploratory programming in computational notebooks
• Effective visualisations of exploratory program execution
• Component-based language engineering with Object Algebras
• A case study with fundamental programming constructs
• Model checking dynamic legal specifications
• Advancing Android app permissions with eFLINT
• Scalable implementation of the eFLINT language
• Development and simulation environment for digital data marketplace applications

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

• 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