CAI Chenghao

CAI Chenghao

CAI Chenghao


2015-2016, School of Informatics, University of Edinburgh, M.S.

2017-2020, School of Computer Science, University of Auckland, Ph.D.

Work Experience

2019 - 2020, University of Auckland, Teaching Assistant

2012 - 2018, University of Auckland, Microsoft Cloud Research Software Fellow         

2020 - Present, Department of Computer Science, National University of Singapore, Research Assistant Professor

2020 - Present, Artificial Intelligence Innovation and Commercialization Center, National University of Singapore, Investigator

Research Areas

1. Automated Reasoning

2. Artificial Intelligence

3. Formal Methods

4. Software Engineering

Honor & Award

2019, The Microsoft Asia Cloud Research Software Fellow Awards

2016, Outstanding Dissertation, awarded by the University of Edinburgh        

2014, ACM-ICPC Asia Regional, Bronze Medal

Representative Publications

[1] C.-H. Cai, J. Sun, and G. Dobbie. “Automatic B-model Repair Using Model Checking and Machine Learning”. Automated Software Engineering 26(3): 653-704 (2019).

[2] C.-H. Cai, Y. Xu, D. Ke, K. Su and J. Sun. “Trainable Back-Propagated Functional Transfer Matrices”. Applied Intelligence 49(2): 376-395 (2019).

[3] C.-H. Cai, D. Ke, Y. Xu and K. Su. “Symbolic Manipulation Based on Deep Neural Networks and its Application to Axiom Discovery”. 2017 IEEE International Joint Conference on Neural Networks (IJCNN 2017): 2136-2143.

Other Investigators