Fedor Shmarov

About

Dr Fedor Shmarov is a Lecturer at the School of Computing, Newcastle University. His research focuses on formal verification and synthesis of stochastic hybrid systems, with applications in computational modelling of biological processes and safe controller design.

Selected publications

• Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis
• The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy
• Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
• ARCH-COMP23 Category Report: Stochastic Models
• ARCH-COMP21 Category Report: Stochastic Models
• Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes
• SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems
• ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
• BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models