The University of Southampton

Chenyang Zhu PhD

PhD student

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

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

PhD. Electronics and Computer Science, University of Southampton


Research interests

Formal methods, Time Modelling, Machine Learning, Data Visualization.


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, 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. 7th Annual International Conference on Education & e-Learning Conference 2017. 25 - 26 Sep 2017. (doi:10.5176/2251-1814_EeL17.36).

Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Refinement of timing constraints for concurrent tasks with scheduling. Butler, M., Raschke, A., Hoang, T. and Reichl, K. (eds.) In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. pp. 219-233 . (doi:10.1007/978-3-319-91271-4).

Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Semantics of real-time trigger-response properties in Event-B. In 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE. pp. 150-156 . (doi:10.1109/TASE.2018.00028).


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.