Fedor Shmarov

I am a Research Associate in the Formal Methods group, Department of Computer Science at the University of Manchester. Currently I am involved in the SCorCH project where I work on formal verification of software for secure hardware. I also have a background in bounded model checking and formal verification of parametric hybrid systems. [Academic CV]

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. [Thesis]
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). [Dissertation]
September 2007 - June 2011 - Tambov State Technical University, Department of Information Technologies, BSc (with Honours) in Information Science and Computer Technology. [Dissertation (in Russian)]


Published work

Google Scholar Profile


  • 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: Department of Computer Science, University of Manchester, Kilburn Building, Oxford Rd, Manchester, M13 9PL