Mouhammad Sakr

Mohamad Sakr

About Me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.
Currently, I am employed as a research assistant working in the ASDPS project.


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