Fedor Shmarov

I am a Lecturer in the School of Computing at Newcastle University and a member of the Advanced Model-Based Engineering and Reasoning (AMBER) research group. My research interests include cyber-physical systems, formal methods, model checking, software verification and computational modelling. [Academic CV].

Recent Publications

[Full list of publications]

My Profiles

Google Scholar
Newcastle University Profile
The UoM Profile

Software Projects

ESBMC - bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs
ProbReach - application for computing probabilistic bounded reachability in stochastic parameteric hybrid systems
BioPSy - application for guaranteed parameter set synthesis in biological systems.

Contact information

Address: Urban Sciences Building, 1 Science Square, Newcastle upon Tyne, NE4 5TG
Email: fedor.shmarov@newcastle.ac.uk