朱晨阳


博士

常州大学计算机与人工智能学院
阿里云大数据学院
江苏常州213164

E-MAIL: zcy@cczu.edu.cn
个人网页：http://gabriel0402.gitee.io/resume.io/




教育背景:

2016.09-2020.09 英国南安普顿大学 电子与计算机科学系 计算机科学专业 哲学博士
2012.08-2014.05 美国宾夕法尼亚大学 计算与信息科学系 嵌入式专业 工程理学硕士
2008.09-2012.06 华中科技大学 电子与信息工程系 通信工程专业 工学学士

工作履历:

2014.08.-2016.09 OSIsoft llc（美国硅谷总部） 软件工程师

学术兼职:

IEEE Transactions on Cybernetics （CCF B类期刊）审稿人
International Symposium on Theoretical Aspects of Software EngineeringTASE (CCF C类会议) 审稿人
IEEE Access （中科院二区）审稿人
Journal of Petroleum Science and Engineering （中科院二区）审稿人

主授课程:


研究领域:

机器学习 集成算法 强化学习 随机博弈
形式化方法 定理证明 模型检验 概率模型检验
实时系统建模 分布式系统 并行系统 信息物理系统

奖励与荣誉:

（1）南安普顿大学学生奖学金全额奖学金
（2）国家留学基金委公派研究生全额奖学金

学术成果:

· 发表论文

（1）Zhu, Chenyang, Michael Butler, and Corina Cirstea. Semantics of real-time trigger-response properties in Event-B.2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018.
（2）Zhu, Chenyang, Michael Butler, and Corina Cirstea. Refinement of timing constraints for concurrent tasks with scheduling. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer, Cham, 2018.
（3）Xie, Yunxin, Zhu, Chenyang* et al. Evaluation of machine learning methods for formation lithology identification: A comparison of tuning processes and model performances.Journal of Petroleum Science and Engineering160 (2018): 182-193.
（4）Xie, Yunxin, Zhu, Chenyang*et al. Towards Optimization of Boosting Models for Formation Lithology Identification.Mathematical Problems in Engineering2019 (2019).
（5）Zhu, Chenyang, Michael Butler, and Corina Cirstea. Towards refinement semantics of real-time trigger-response properties in Event-B.2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2019.
（6）Zhu, Chenyang, Michael Butler, and Corina Cirstea. Formalizing hierarchical scheduling for refinement of real-time systems.Science of Computer Programming189 (2020): 102390.
（7）Zhu, Chenyang, Michael Butler, and Corina Cirstea. Trace semantics and refinement patterns for real-time properties in event-B models.Science of Computer Programming(2020): 102513.
（8）Zhu, Chenyang, Michael Butler, and Corina Cirstea. Real-time trigger-response properties for Event-B applied to the pacemaker. (2020).
（9）Xie, Yunxin, Zhu, Chenyang*. A Coarse-to-Fine Approach for Intelligent Logging Lithology Identification with Extremely Randomized Trees.Mathematical Geosciences(2020): 1-18.
（10）Zhu, Chenyang, et al. Evaluation of Machine Learning Approaches for Android Energy Bugs Detection With Revision Commits.IEEE Access7 (2019): 85241-85252.
（11）Xie, Yunxin, Zhu, Chenyang*, et al. Analyzing Machine Learning Models with Gaussian Process for the Indoor Positioning System.Mathematical Problems in Engineering2020 (2020).