Courses at Utrecht University
More information coming soon, stay tuned!
- Domain Specific Languages, 2022.
I am co-developing a Cybersecurity Education Plan, which will provide education and courses on security at Utrecht University.
Before joining Utrecht University, I have been an instructor and teaching assistant in the following courses:
- 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)