Work in a new project CHEDDAR
Feb 1, 2024
![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.