2015-2016, School of Informatics, University of Edinburgh, M.S.2017-2020, School of Computer Science, University of Auckland, Ph.D.
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 Professor2020 - Present, Artificial Intelligence Innovation and Commercialization Center, National University of Singapore, Investigator
1. Automated Reasoning
2. Artificial Intelligence
3. Formal Methods4. Software Engineering
Honor & Award
2019, The Microsoft Asia Cloud Research Software Fellow Awards
2016, Outstanding Dissertation, awarded by the University of Edinburgh2014, ACM-ICPC Asia Regional, Bronze Medal
 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).
 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). 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.