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.

News

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.