The University of Southampton

Chenyang Zhu

Postgraduate research student


I'm currently a PhD student under the supervision of Professor Michael Butler on the topic of liveness verification of event-b formal method. 


Research interests

My research focus on the liveness verification of formal methods for software engineering, especially on cyber physical systems. 



B.A. Electronics and Information Engineering, Huazhong University of Science and Technology, China

M.Sc. Computer and Information Science, University of Pennsylvania, USA


Xie, Yunxin, Zhu, Chenyang, Zhou, Wen, LI, Zhongdong and Tu, Mei (2018) Evaluation of machine learning methods for formation lithology identification: A comparison of tuning processes and model performances Journal of Petroleum Science and Engineering, 160, pp. 182-193. (doi:10.1016/j.petrol.2017.10.028).

Wang, Nicole, Yeh, Martin, Gregg, Andrea, Zhu, Chenyang, Garbrick, Amy and Peck, Kyle (2017) Beyond academic grade dashboard: Integrating performance visualization to increase peer support: a work in-progress paper . 25 - 26 Sep 2017. (doi:10.5176/2251-1814_EeL17.36).


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.