个人信息

头像

姓名: 陈清亮

部门: 信息科学技术学院

直属机构: 计算机科学系

性别:

职务:

职称: 教授

学位:

毕业院校:

联系电话:

电子邮箱: tpchen@jnu.edu.cn

办公地址:

通讯地址:

邮编:

传真:

荣誉奖励:

联系方式

个人简介

学习经历

2010年7月-2012年6月,    北京大学,计算机科学系,博士后

2002年9月-2007年6月,    中山大学,计算机科学系,博士 (硕博连读)

1998年9月-2002年6月,    中山大学,信息管理系,   学士


工作经历

2015年10月至今,              暨南大学,计算机科学系,教授

2016年12月至今,              澳洲Griffith University,   客座教授 (Adjunct Professor)

2010年10月-2015年9月,  暨南大学,计算机科学系,副教授

2007年7月-2010年9月,    暨南大学,计算机科学系,讲师

2006年3月-9月,                德国Brandenburg University of Technology Cottbus,  访问学者,  参与中德国际合作项目(DFG)研究。

2011年7月-8月,                德国University of Trier,访问学者, 参与中德国际合作项目(DFG)研究。

2014年11月-12月,            澳洲Griffith University人工智能研究所,访问学者, 参与澳洲国家科学基金(ARC)研究。

2015年11月-12月,            澳洲Griffith University人工智能研究所,访问学者,参与澳洲国家科学基金(ARC)研究。


研究方向

人工智能

招生意向

人工智能: 自然语言处理(NLP)、知识图谱、深度神经网络、多模态智能等


主要论文

(1)   Book Edited

Qingliang Chen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, Andrea Omicini: PRIMA 2015- Principles and Practice of Multi-Agent Systems. Lecture Notes in Computer Science 9387, Springer Press, 2015. ISBN 978-3-319-25523-1.

(2)  Selected Papers

    [1]Runkai Zheng,Yinqi Zhang, Daolang Huang, Qingliang Chen: Sequential Convolution and Runge-Kutta Residual Architecture for Image Compressed Sensing,  the16th European Conference on Computer Vision (ECCV), August 23-29, 2020. Springer Press.

    [2]Yanran Wang, Qingliang Chen, Shilang Chen, Junjun Wu: Multi-Scale Convolutional Features Network for Semantic Segmentation in Indoor Scenes. IEEE Access 8: 89575-89583 (2020)

    [3]Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen: Dropout with Tabu Strategy for Regularizing Deep Neural Networks. The Computer Journal, 63(7): 1031-1038 (2020)

    [4]Qingliang Chen, Paolo Torroni, Serena Villata: Principles and practice of multi-agent systems. The Knowledge Engineering Review, 34: e3 (2019)    

    [5]Aixiang Chen, Xiaolong Chai, Bingchuan Chen, Rui Bian and Qingliang Chen: A Novel Stochastic Stratified Average Gradient Method: Convergence Rate and Its Complexity, The 2018 International Joint Conference on Neural Networks (IJCNN 2018),Jul 8, 2018- Jul 13, 2018, Rio, Brazil.

    [6]Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, ZhaoRong Lai, Linfeng Wei: Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. The Thirty-Third AAAI Conference on Artificial Intelligence(AAAI 2019), 2019: 2867-2875. 

    [7]Xiangyu Luo, Lijun Wu, Qingliang Chen, et al: Symbolic model checking for discrete real-time systems, Science China Information Sciences, (2018) 61:1-23, Springer Press.

    [8]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar: Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian Conference on AI 2017: 351-360, Lecture Notes in Computer Science 10233, Springer Press, 2017.

    [9] Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen: A first-order coalition logic for BDI-agents. Frontiers of Computer Science 10(2): 233-245 (2016), Springer Press.

    [10] Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers of Computer Science 9(1): 75-86 (2015), Springer Press.

    [11] Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su,Wei Wu: A complete first-order temporal BDI logic for forest multi-agent systems, Knowledge-Based Systems, 27(3) 343–351, 2012. Elsevier Press.

    [12] Qingliang Chen, Kaile Su and Xizhong Zheng:  Primitive Recursive Real Numbers, Mathematical Logic Quarterly, 53(4/5):365-380, WILEY-VCH Verlag GmbH & Co.KGaA, Weinheim, 2007.  

    [13] Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv and Xizhong Zheng: Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology, 21(6): 932-943, 2006, Springer Press.

    [14] Qingliang Chen, Kaile Su and Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations, Electronic Notes in Theoretical Computer Science, 167: 303-324, 2007. Elsevier Press.

    [15] Kaile Su, Guanfeng Lv, Qingliang Chen: Knowledge Structure Approach to Verification of  Authentication Protocols, Science in China, Series F, 48(4): 513-532, 2005. Springer  Press.             

    [16] Xiaowei Huang, Qingliang Chen, Kaile Su: Strengthening Agents Strategic Ability with Communication, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), February 12–17, Phoenix, Arizona, USA.

    [17] Xiaowei Huang, Qingliang Chen, Jie Meng and Kaile Su:  Reconfigurability in Reactive Multiagent Systems, The 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 9th-15th July, 2016 .

    [18] Xiaowei Huang, Ji Ruan, Qingliang Chen and Kaile Su: Normative Multiagent Systems: A Dynamic Generalization. the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 9th-15th July, 2016 .

    [19] Xiaowei Huang, Qingliang Chen, Kaile Su: The Complexity of Model Checking Succinct Multiagent Systems. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.

    [20] Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. Canadian Conference on AI 2014: 269-274, Lecture Notes in Computer Science 8436, Springer Press.

    [21] Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo: Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014.

    [22] Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Search for Minimum Vertex Cover,  The Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, July 11–15, 2010.

    [23] Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen:  A Computationally Grounded Logic of Knowledge, Belief and Certainty, The Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-05), Utrecht UniversityThe Netherlands25-29, July, 2005. ACM Press

    [24] Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv :Bounded Model Checking Knowledge and Branching Time in Synchronous Multi-agent Systems, The Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-05), Utrecht UniversityThe Netherlands25-29, July, 2005. ACM Press.  

 


主要著作

承担课题

科研项目:

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


发明专利

讲授课程

荣誉奖励

社会职务