Fedor Shmarov

I am a Research Associate in ICOS group, School of Computing at Newcastle University. My main area of interest is formal verification and model checking.

Education and qualifications

September 2013 - January 2018 - Newcastle University, School of Computing Science, PhD in Computing Science. Title: Probabilistic Bounded Reachability for Stochastic Hybrid Systems.
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 Honours) in Information Science and Computer Technology.





  • F. Shmarov. "Probabilistic Bounded Reachability for Stochastic Hybrid Systems". Third Workshop on Design and Analysis of Robust Systems (DARS 2018).
  • F. Shmarov and P. Zuliani. "ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems". International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems (RISE4CPS 2017).
  • F. Shmarov. "Stochastic hybrid systems: modelling cancer and psoriasis". International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM 2016).


Contact information

Address: School of Computing, Urban Sciences Building, 1 Science Square, Newcastle upon Tyne, NE4 5TG, UK