RoboSoft

Software Engineering for Robotics

Nov 12, 2019

RoboSoft will take place in Royal Academy of Engineering for two days (13-14 Nov, 2019).

Robotics Software
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.