CyPhyAssure (June 2021 - August 2021)
Nov 5, 2021
![](/~ky582/project/cyphyassure/featured_hu65229cce756bcef4f9d31d4db86626fd_1167866_720x2500_fit_q75_h2_lanczos_3.webp)
Robotics
Formal verification
Formal Reasoning
Modelling
Simulation
Test
Animation
Theorem Proving
EPSRC
![Kangfeng (Randall) Ye](/~ky582/authors/admin/avatar_hua467eef309f6fb2a625906b8154d6fe2_3414540_270x270_fill_q75_lanczos_center.jpg)
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.