2022_SoSyM First Paper Award
Last updated on
Jan 4, 2023
![](/~ky582/news/2022_sosym-first-paper-award/featured_hu83709579200ed5f8322fb34d2e1fc41e_927963_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.