Fedor ShmarovI 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 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. "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).
Address: Room 924, School of Computing Science, Claremont Tower, Newcastle University, NE1 7RU, UK
Phone: +44 (0) 191 208 7856