RoboTest (April 2021 - Present)
Nov 5, 2021
![](/~ky582/project/robotest/featured_hu2635bd55df2764ade6d34c2b32070e43_155439_720x2500_fit_q75_h2_lanczos_3.webp)
![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.