Newcastle University

Fedor Shmarov

• PhD Student
• Email: f.shmarov@ncl.ac.uk
• Fedor is interested in formal verification of cyber-physical systems with stochastic and non-deterministic behaviour.

Fedor is interested in formal verification of cyber-physical systems with stochastic and non-deterministic behaviour.  His homepage is here.