About me
I am a PhD student at Saarland University working at the CISPA Helmholtz Center for Information Security and I am advised by Prof. Marco Patrignani working in his group on secure compilation. I am also a member of the Graduate School of Computer Science.
Academic Service
Teaching
- Summer 23: Formal Compiler Security
- Winter 23: Formal Methods in Security