Courses at Utrecht University

• Language-Based Security, 2024.
• Security, 2023-2024.
• Domain Specific Languages, 2023.

Intersted in doing a research project or a M.Sc thesis on programming languages and security? Check out some potential topics on KonJoin and get in touch!

Before joining Utrecht University, I have been an instructor and teaching assistant in the following courses:

CISPA-Stanford Center

• Programming Language Foundations at Stanford, 2021 (co-taught with Marco Patrignani)
• Formal Methods in Security at CISPA, 2020 (co-taught with Robert Künnemann and Hamed Nemati)

Chalmers University of Technology

• Introduction to Functional Programming, 2016-2018, (assitant)
• Finite Automata Theory and Formal Languages, 2015-2018, (assistant)
• Data Structures, 2015-2019, (assistant)