About
I am a postdoctoral researcher at the CISPA Helmholtz Center for Information Security and a visiting researcher at the Technical University of Munich. For more information, visit my personal webpage.
Teaching Activities
- Functional Programming and Verification