66386 St. Ingbert (Germany)
- Sponsorship Award by the European Association for Computer Science Logic for the ESSLLI 2016 course "Model Counting for Logical Theories"
- The 2011/2012 Best Paper Award of the DFG priority programme Reliably Secure Software Systems
- Microsoft Research European Ph.D. scholarship 2008-2011
I am a tenure-track faculty member at the Helmholtz Center for Information Security (CISPA) 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 in 2014. My research is in the area of formal methods, focusing on the specification, verification, and synthesis of reactive systems. I investigate primarily quantitative versions of these questions, centered around the aspect of uncertainty in system and environment models. I am particularly interested in applications of formal methods to autonomous systems, where my work addresses the limitations faced by autonomous control due to imperfect sensing and stochastic disturbances.
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020
Lecture Notes in Computer ScienceAutomated Technology for Verification and Analysis
Computer Aided Verification - 31th International Conference, CAV
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany
Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)