I am a tenure-track faculty member at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. Before joining CISPA, I was a Lecturer (Assistant Professor) at the University of Sheffield, UK and at the University of Leicester, UK before that. Prior to that, I held postdoctoral positions at the University of Texas at Austin, and at the Max Planck Institute for Software Systems in Germany. I received my PhD from Saarland University in Germany.

New: I have been awarded an ERC Consolidator Grant for the project SyReP (Synthesis of Reactive Programs). See the announcement here and stay tuned for more news as the project starts in 2026!

Research Group

Rafael Dewes (PhD student)
Philippe Heim (PhD student)
Saleh Soudijani (PhD student)