名称：陈清亮
职称：教授
研究方向：人工智能
电邮：tpchen@jnu.edu.cn
联系方式：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. 国家自然科学基金(面上项目)：智能体交互合作的逻辑建模与验证技术研究，No.**, 2016.01- 2019.12, （项目主持人）
2. 国家自然科学基金(青年基金项目)：基于智能体理论的Web服务系统的建模与形式化验证研究， No.**. 2011.01-2013.12, （项目主持人）
3. 国家自然科学基金(国际合作项目)：计算机科学的算法基础研究，No. ，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, （项目主持人）
学术兼职：
1. 中国人工智能学会(CAAI) 智能服务专业委员会委员、科普工作委员会委员.
2. 中国计算机学会(CCF) 语音对话与听觉专业委员会委员.
3. AI著名国际会议AAAI、IJCAI 的程序委员会委员(Program Committee Members).


研究论文
(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 Science10(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 Science9(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-15^thJuly, 2016 .
[18] Xiaowei Huang, Ji Ruan,Qingliang Chenand 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 University，The Netherlands，25-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 University，The Netherlands，25-29, July, 2005. ACM Press.