Mouhammad Sakr

A profile picture of Mouhammad Sakr

About Me

I am a Ph.D. student at Saarland University.
Currently, I am employed as a research assistant CISPA – Helmholtz Center for Information Security.


Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.16.1
Phone: +49 681 302 5662
eMail: sakr at
Office Hours: Whenever the door is open



Summer 2019 Assistant for the advanced lecture Parameterized Verification
Summer 2018 Advisor for Formal Verification of Security Protocols
Winter 2017/2018 Assistant for the advanced lecture Reactive Synthesis
Summer 2016 Assistant for the core lecture Embedded Systems