Fedor ShmarovI 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.
F. Shmarov, N. Paoletti, E. Bartocci, S. Lin, S. Smolka and P. Zuliani. "SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems". To appear in HVC 2017.
F. Shmarov and P. Zuliani. "Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques". Proceedings of the 12th International Haifa Verification Conference (HVC 2016). Pages 152-168.
C. Madsen, F. Shmarov and P. Zuliani. "BioPSy: An SMT-based tool for guaranteed parameter set synthesis of biological models". Proceedings of the 13th International Conference on Computational Methods in Systems Biology (CMSB 2015). Pages 182-194.
F. Shmarov and P. Zuliani. "ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems". Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015). Pages 134-139.
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).
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).
Address: School of Computing, Urban Sciences Building, 1 Science Square, Newcastle upon Tyne, NE4 5TG, UK