Visit of Prof. Zhiming Liu's team at York
My first time to meet SWU team from Chongqing, China
This visit is about a Royal Society and NSFC joint workshop (from July 24th, 2018 to July 26th, 2018) regarding requirements modelling for cyber-physical systems. These guys (Prof. Zhiming Liu, Dr. Bo Liu, Dr Hengjun Zhao, Dr. Liyun Dai, Dr. Xia Zeng, and Mr. Guisen Wu) are really really nice and very glad to meet them in York.
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.