Education
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).
Education
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
- Automated Reasoning
- Artificial Intelligence
- Formal Methods
- 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.
