SESAME (June 2023 - Jan 2024)

Jun 27, 2023
Robotics Safety Assurance Assurance Case Modelling Model-based Engineering Test Horizon2020 EU
Kangfeng (Randall) Ye
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.