About Me


I'm a researcher at the Center for IT-Security, Privacy and Accountability (CISPA), working in the Secure & Privacy-friendly Information Processing group lead by Prof. Michael Backes. My research interests lie at the intersection of formal methods and computer security. Specifically, I am interested in Operating System security, formal modeling and verification of systems, virtualization technology, interactive theorem proving and machine code analysis. Prior to joining CISPA I was a PhD student in the Theoretical Computer Science group (TCS) at the School of Computer Science and Communication at Royal Institute of Technology (KTH) under Prof. Mads Dam.

Contact Information

Postal address:

CISPA Helmholtz Center i.G. Stuhlsatzenhaus 5 Saarland Informatics Campus E9 1 66123 Saarbrucken, Germany

Email :


Phone :

+49 681-302 70993