I am a tenure-track faculty at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. My main research interests are in formal verification and synthesis, with a focus on parameterized systems, and more recently on security properties in the presence of side channels.


December 2022: Our work Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (with Nouraldin Jaber, Christopher Wagner, Milind Kulkarni and Roopsha Samanta) has been accepted for publication at TACAS 2023.

October 2022: We will have a special issue of the Journal of Parallel and Distributed Computing on Dependability and Scalability of Distributed Systems in the Presence of Faults and Security Threats. Submission deadline is February 5, 2023.

October 2022: Mouhammad Sakr presents our joint work (with Marcus Völp) Automatic Repair and Deadlock Detection for Parameterized Systems at FMCAD 2022 in Trento.

September 2022: Created this page.