Courses at Utrecht University

• Domain Specific Languages, Period 4, 2022.

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!

Currently, I am co-developing a Cybersecurity Education Plan, which will provide education and courses on security at Utrecht University. More information coming soon, stay tuned!

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)