陈清亮

发布者:2023-11-17发布者:68

科研项目:

1. 国家自然科学基金(面上项目):智能体交互合作的逻辑建模与验证技术研究,No.61572234, 2016.01-2019.12, (项目主持人)

2. 国家自然科学基金(青年基金项目):基于智能体理论的Web服务系统的建模与形式化验证研究, No.61003056. 2011.01-2013.12,  (项目主持人)

3. 国家自然科学基金(国际合作项目):计算机科学的算法基础研究,No. 61111130183, 2011.01-2011.12,(项目主持人)

4. 教育部科学技术重点项目:基于多智能体系统建模的Web服务形式化验证技术研究,No.210257.2010.01- 2012.12, (项目主持人)

5. 同济大学嵌入式系统与服务计算教育部重点实验室开放课题:Web服务的有界模型检测分析,No.2010-12, 2010.01-2012.12,  (项目主持人)

6. 广东省高校优秀青年创新人才培育项目:模型检测多智能体系统及其应用,No.LYM09028. 2010.01-2012.12, (项目主持人)

7.云趣科技-暨南大学人工智能联合研发中心(企业横向课题)2020.09-2023.09,(项目主持人)


科技奖励

 2020年广东省计算机学会科学技术二等奖:深度语义结构模型的智慧通讯交互关键技术研究与产业化,项目编号:202010J02R10,粤计学证:【202104号,20212月。


学术兼职:

1.  中国人工智能学会(CAAI) 智能服务专业委员会委员、科普工作委员会委员.

2.  中国计算机学会(CCF) 语音对话与听觉专业委员会委员.

3.  AI著名国际会议AAAI、IJCAI 的程序委员会委员(Program Committee Members).