SESAME (June 2023 - Jan 2024)
Jun 27, 2023
![](/~ky582/project/sesame/featured_hu44ff40c3551a790dea506fe31a38ff70_93253_720x2500_fit_q75_h2_lanczos.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.