Fedor Shmarov

I am a PhD student under a supervision of Dr. Paolo Zuliani in ICOS group, School of Computing Science at Newcastle University. My project is in verification of cyber-physical system funded by Office of Naval Research (USA). I am particularly interested in formal verification of cyber-physical systems with stochastic and non-deterministic behaviour.

Education and qualifications

September 2013 - present - Newcastle University, School of Computing Science, PhD in Computing Science. Title: Verification of Complex Cyber-Physical System.
September 2012 - September 2013 - Newcastle University, School of Computing Science, MSc (with Distinction) in Advanced Computing Science. (Philip Merlin prize presented by the School of Computing Science for the Best MSc Dissertation in the School)
September 2007 - June 2011 - Tambov State Technical University, Department of Information Technologies, BSc (with Honors) in Information Science and Computer Technology.




  • F. Shmarov. "Stochastic hybrid systems: modelling cancer and psoriasis". International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM 2016).
  • F. Shmarov and P. Zuliani. "SMT-Based Reasoning for Uncertain Hybrid Domains". AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS 2016).
  • F. Shmarov and P. Zuliani. "ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems". International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2015).


Contact information

Address: Room 924, School of Computing Science, Claremont Tower, Newcastle University, NE1 7RU, UK
Phone: +44 (0) 191 208 7856