Mouhammad Sakr

A profile picture of Mouhammad Sakr

About Me

I was a Ph.D. student at Saarland University.
I was also a research assistant CISPA – Helmholtz Center for Information Security.
Currently I am a postdoctoral researcher at University of Luxembourg.


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