Fedor Shmarov

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

Education and qualifications

September 2013 - present - 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.

Publications

Conferences

Workshops

  • 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).

Invited Talks

Workshops

  • 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).

Software



Contact information

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