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

Chenyang Zhu

Postgraduate research student

Github

I'm currently working toward the PhD degree in the Department of Electronics and Computer Science, University of Southampton, under the supervision of Prof. Michael Butler and Dr. Corina Cirstea. My research interests mainly include time and fairness modelling on distributed systems with formal methods, ensemble methods in machine learning and data Visualization. 

Research

Research interests

I'm currently working toward the PhD degree in the Department of Electronics and Computer Science, University of Southampton, under the supervision of Prof. Michael Butler and Dr. Corina Cirstea. My research interests mainly include time and fairness modelling on distributed systems with formal methods, ensemble methods in machine learning and data Visualization. 

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, 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. 15 pp, 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. The 12th International Symposium on Theoretical Aspects of Software Engineering, Guangzhou, China. 29 - 31 Aug 2018. 6 pp.

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.

×