您的位置:NUSRI > 科学研究 > 研究人员 > 人工智能创新及育成中心

蔡程灏

蔡程灏

蔡程灏

研究员

chenghao.cai@nusri.cn

教育背景

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).

[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.

相关人员

Ooi Beng Chin 黄铭钧
Ooi Beng Chin 黄铭钧

首席研究员 中心主任

ooibc@comp.nus.edu.sg
Ng Teck Khim 黄德钦
Ng Teck Khim 黄德钦

高级研究员 中心主任

ngtk@comp.nus.edu.sg