I am a Research Associate in the Systems and Software Security (S3) group, Department of Computer Science at the University of Manchester. Currently I am involved in the SCorCH project where I work on formal verification of software for secure hardware. I also have a background in bounded model checking and formal verification of stochastic hybrid systems...
ProbReach - application for computing probabilistic bounded reachability in stochastic parameteric hybrid systems