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

• Workshop PC: FCS’24, PriSC’25

Teaching

• Summer 23: Formal Compiler Security
• Winter 23: Formal Methods in Security