Invited to submit an extension of our ICFEM2022 paper ‘Formally Verified Animation for RoboChart Using Interaction Trees’ to the Journal of Logical and Algebraic Methods in Programming (JLAMP)
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.