Visit SWU in Chongqing with Prof. Jim Woodcock

From May 13th, 2019 to May 15th, 2019

Very glad to meet Prof. Zhiming Liu’s team again and his wife, particularly in Chingqing, the city where I had my BSc and MSc. This is a three-day workshop (‘NSFC-RS’ Joint Project Workshop on Modelling, Verification, and Refinement of Evolving Cyber-Physical Systems) and I gave a Isabelle/UTP tutorial in Chinese :). Jim presented “Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra” and “Probabilistic semantics in RoboChart”. Also met nice guys: Xin Chen from Nanjing University and Wang Lin from Zhejiang Sci-Tech University.

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.