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.

I have been awarded an ERC Consolidator Grant for the project SyReP (Synthesis of Reactive Programs). I am looking for highly motivated PhD students with a strong interest in program synthesis, temporal logic, automata theory, and two-player games. If you are interested in pursuing research in these areas, please reach out with a brief statement describing your research interests and how they relate to my work. Please also include your CV and academic transcripts.