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

• Lu-Chi Liu, PhD student 2020–
• Milen G. Kebede, PhD student 2020–
• Christopher Esterhuyse, PhD student 2021–
• Damian Frölich, PhD student 2021–

Interesting theses

• 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