Savas Konur

Current

PhD
Mehmet Emin Bakir – Performance Benchmarking of Statistical Model Checkers
[Co-supervising with Dr. Mike Stannett]
Laurentiu Mierla – Modeling and Verification in Systems and Synthetic Biology
[Co-supervising with Prof. Florentin Ipate]

MSc
Saqib Mohammad – DB Evaluation NoSQL Systems

Previous

MSc
Feng Zang – A Swarm-Checker, A Robot Swarm Front-End, 2010
Ahmed Al Zahrani – Formal Analysis of a Message Forwarding System, 2009