The University of Southampton
Email:
cz4g16@ecs.soton.ac.uk

Chenyang Zhu

Postgraduate research student

Github

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

Research interests

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

Professional

Qualifications

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

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

Publications

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).

Contact

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.

×