陈清亮
名称：陈清亮
职称：教授
研究方向：人工智能
电邮：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)研究。
招生意向
人工智能: 机器学习和深度学习应用、模型检测多智能体系统
科研成果
科研项目：
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, （项目主持人）
学术兼职：
1. 担任中国人工智能学会(CAAI) 智能服务专业委员会委员、科普工作委员会委员.
2. 担任著名国际会议IJCAI 2018, KR 2016, PRIMA 2015, 2016, 2017, 2018的程序委员会委员(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] 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.
[2]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.
[3]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.
[4]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.
[5]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.
[6] 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.
[7]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.
[8] 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.
[9].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.
[10] 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.
[11] 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.
[12] 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-15thJuly, 2016 .
[13] 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 .
[14] 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.
[15]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.
[16]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.
[17] 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.
[18]. 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.
[19]. 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.
