RoboTest RoboCalc Advisory Board meeting
Just joined the RoboCalc project and this is the opportunity to know most people in the projects: RoboCalc and RoboTest, like Rob Hierons and Brijesh Dongol.
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.