陈清亮

导航 个人简介 学习经历 工作经历 研究方向 主要论文 主要著作 承担课题,个人信息 姓名： 陈清亮 部门： 网络空间安全学院 性别： 男 职称： 教授 电子邮箱： 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 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.    承担课题 科研项目：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，粤计学证：【2021】04号，2021年2月。学术兼职：1.  中国人工智能学会(CAAI) 智能服务专业委员会委员、科普工作委员会委员.2.  中国计算机学会(CCF) 语音对话与听觉专业委员会委员.3.  AI著名国际会议AAAI、IJCAI 的程序委员会委员(Program Committee Members).