教育背景
2015—2016 爱丁堡大学，信息学系，硕士
2017—2020 奥克兰大学，计算机科学系，博士
工作经历
2019—2020 奥克兰大学，计算机科学系，助教（兼职）
2019—2020 奥克兰大学，微软云研究软件员（兼职）
2020—至今 新加坡国立大学，计算机科学系，科研助理教授
2020—至今 新国大研究院，人工智能创新及育成中心，研究员
研究领域
自动推理
人工智能
形式化方法
软件工程
荣誉、奖项
2019年 微软亚洲云研究软件员奖
2016年 爱丁堡大学杰出毕业论文奖
2014年 ACM-ICPC亚洲区域赛铜奖
代表性论文
[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).
