个人信息
|
姓名：陈清亮 部门：网络空间安全学院 性别：男 职称：教授 电子邮箱：tpchen@jnu.edu.cn |
学习经历 2010年7月-2012年6月， 北京大学，计算机科学系，博士后 2002年9月-2007年6月， 中山大学，计算机科学系，博士 (硕博连读) 1998年9月-2002年6月， 中山大学，信息管理系， 学士 工作经历 2015年10月至今， 暨南大学 2016年12月至今， 澳洲GriffithUniversity, 客座教授(AdjunctProfessor) 2010年10月-2015年9月， 暨南大学，副教授 2007年7月-2010年9月， 暨南大学，讲师 2006年3月-9月，德国BrandenburgUniversity of Technology Cottbus, 访问学者, 参与中德国际合作项目(DFG)研究。 2011年7月-8月， 德国Universityof Trier,访问学者，参与中德国际合作项目(DFG)研究。 2014年11月-12月，澳洲GriffithUniversity人工智能研究所，访问学者，参与澳洲国家科学基金(ARC)研究。 2015年11月-12月， 澳洲GriffithUniversity人工智能研究所，访问学者，参与澳洲国家科学基金(ARC)研究。 研究方向 人工智能 招生意向人工智能:自然语言处理(NLP)、知识图谱、深度神经网络、多模态智能等 主要论文 (1) Book Edited： QingliangChen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, AndreaOmicini: PRIMA 2015- Principles and Practice of Multi-AgentSystems. Lecture Notes in Computer Science 9387, Springer Press,2015. ISBN 978-3-319-25523-1. (2) Selected Papers： [1]RunkaiZheng,Yinqi Zhang, Daolang Huang, Qingliang Chen: SequentialConvolution and Runge-Kutta Residual Architecture for ImageCompressed Sensing, the16th European Conference on ComputerVision (ECCV), August 23-29, 2020. Springer Press. [2]YanranWang, Qingliang Chen, Shilang Chen, Junjun Wu: Multi-ScaleConvolutional Features Network for Semantic Segmentation in IndoorScenes. IEEE Access 8: 89575-89583 (2020) [3]ZongjieMa, Abdul Sattar, Jun Zhou, Qingliang Chen: Dropout with TabuStrategy for Regularizing Deep Neural Networks. The ComputerJournal, 63(7): 1031-1038 (2020) [4]QingliangChen, Paolo Torroni, Serena Villata: Principles and practice ofmulti-agent systems. The Knowledge Engineering Review, 34: e3(2019) [5]AixiangChen, Xiaolong Chai, Bingchuan Chen, Rui Bian and Qingliang Chen:A Novel Stochastic Stratified Average Gradient Method: ConvergenceRate and Its Complexity, The 2018 International Joint Conferenceon Neural Networks (IJCNN 2018),Jul 8, 2018- Jul 13, 2018, Rio,Brazil. [6]XuanxiangHuang, Kehang Fang, Liangda Fang, Qingliang Chen, ZhaoRong Lai,Linfeng Wei: Bi-Kronecker Functional Decision Diagrams: A NovelCanonical Representation of Boolean Functions. The Thirty-ThirdAAAI Conference on Artificial Intelligence(AAAI 2019), 2019:2867-2875. [7]XiangyuLuo, Lijun Wu, Qingliang Chen, et al: Symbolic model checking fordiscrete real-time systems, Science China Information Sciences,(2018) 61:1-23, Springer Press. [8]QingliangChen, Xiaowei Huang, Kaile Su, Abdul Sattar: Quantified CoalitionLogic of Knowledge, Belief and Certainty. Canadian Conference onAI 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 ofComputer Science 10(2): 233-245 (2016), Springer Press. [10]Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: A complete coalitionlogic of temporal knowledge for multi-agent systems. Frontiers ofComputer Science 9(1): 75-86 (2015), Springer Press. [11]Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su,WeiWu: A complete first-order temporal BDI logic for forestmulti-agent systems, Knowledge-Based Systems, 27(3) 343–351,2012. Elsevier Press. [12]Qingliang Chen, Kaile Su and Xizhong Zheng: Primitive RecursiveReal 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 andXizhong Zheng: Verification of Authentication Protocols forEpistemic Goals via SAT Compilation, Journal of Computer Scienceand Technology, 21(6): 932-943, 2006, Springer Press. [14]Qingliang Chen, Kaile Su and Xizhong Zheng: PrimitiveRecursiveness 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 StructureApproach to Verification of Authentication Protocols, Science inChina, Series F, 48(4): 513-532, 2005. Springer Press. [16]Xiaowei Huang, Qingliang Chen, Kaile Su: Strengthening AgentsStrategic Ability with Communication, Proceedings of the ThirtiethAAAI Conference on Artificial Intelligence (AAAI-16), February12–17, Phoenix, Arizona, USA. [17]Xiaowei Huang, Qingliang Chen, Jie Meng and Kaile Su: Reconfigurability in Reactive Multiagent Systems, The 25thInternational Joint Conference on Artificial Intelligence(IJCAI-16), New York, USA, 9th-15th July, 2016 . [18]Xiaowei Huang, Ji Ruan, Qingliang Chen and Kaile Su: NormativeMultiagent Systems: A Dynamic Generalization. the 25thInternational Joint Conference on Artificial Intelligence(IJCAI-16), New York, USA, 9th-15th July, 2016 . [19]Xiaowei Huang, Qingliang Chen, Kaile Su: The Complexity of ModelChecking Succinct Multiagent Systems. Proceedings of theTwenty-Fourth International Joint Conference on ArtificialIntelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31,2015. [20]Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: CompleteAxiomatization and Complexity of Coalition Logic of TemporalKnowledge 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: QuantifiedCoalition Logic for BDI-Agents: Completeness and Complexity.PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific RimInternational Conference on Artificial Intelligence, Gold Coast,QLD, Australia, December 1-5, 2014. [22]Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Searchfor Minimum Vertex Cover, The Twenty-Fourth AAAI Conference onArtificial Intelligence (AAAI-10), Atlanta, Georgia, USA, July11–15, 2010. [23]Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: AComputationally Grounded Logic of Knowledge, Belief and Certainty,The Fourth International Joint Conference on Autonomous Agents andMulti-agent Systems (AAMAS-05), Utrecht University，TheNetherlands，25-29,July, 2005. ACM Press [24]Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv:Bounded Model Checking Knowledge and Branching Time inSynchronous Multi-agent Systems, The Fourth International JointConference on Autonomous Agents and Multi-agent Systems(AAMAS-05), Utrecht University，TheNetherlands，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的程序委员会委员(ProgramCommittee Members). |
