RoboCalc (April 2018 - March 2021)

May 11, 2018
Robotics Formal verification Formal Reasoning Modelling Simulation Test Probability EPSRC
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.