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].Teaching Activities
- CSC8404: Advanced Programming in Java [Module Leader]
- CSC1035: Programming Portfolio 2 [Lecturer]
- CSC1036: Programming Portfolio [Lecturer]
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