教育背景
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).