Kailun Luo

I am now an Associate Research Professor in Department of Cyberspace Security, Dongguan University of Technology (DGUT). Before that I got my Ph.D. degree in Department of Computer Science, Sun Yat-sen University

Address: Dongguan University of Technology, DaXue Road No.1, SongShan Lake, DongGuan, China

Tel: +86-15915711238

Email: luokl@dgut.edu.cn

Office: 9A 204-7

Currently

I am working on the projects of Agent Abstraction via forgetting and Synthesis of General Strategies.

I am also working on

• Explainable Artificial Intelligence (XAI) 可解释的人工智能

• Key Technologies for Intelligent Customer Service 智能客服的关键技术

• Key Technologies for Intelligent Drones 智能无人机的关键技术

Research

My main research area is Knowledge Representation and Reasoning (KRR) in Artificial Intelligence. My research interest is Situation Calculus, Reasoning about Strategies, Verification and Synthesis of General/Generalized Strategies, and the Application of Abstraction Technologies on Formal Verification and Synthesis.

I am now also interested in Reinforcement Learning, Automated Testing and Formal Verification of Security Protocols.

Grants

January 1, 2023 - December 31, 2025: Automatic Synthesis of Explainable Abstractions for Intelligent Planning; National Natural Science Foundation of China; Young Scientists Fund Project; 62206055; Principal Investigator.

Publications

• Kailun Luo. Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking. AAAI-2023. (CCF A, one of the three top-tier conferences in KRR)

• Kailun Luo and Yongmei Liu. Automated Synthesis of Generalized Invariant Strategies via Counterexample-guided Strategy Refinement. AAAI-2022. (CCF A, one of the three top-tier conferences in KRR)

• Zhenhe Cui, Yongmei Liu and Kailun Luo. A Uniform Abstraction Framework for Generalized Planning. IJCAI-2021 (DBLP). (CCF A, one of the three top-tier conferences in KRR)

• Kailun Luo, Yongmei Liu, Yves Lesperance and Ziliang Lin. Agent Abstraction via Forgetting in the Situation Calculus. ECAI-2020 (DBLP). (CCF B)

• Kailun Luo and Yongmei Liu. Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. IJCAI-2019 (DBLP). (CCF A, one of the three top-tier conferences in KRR)

Education

• Ph.D., Computer Science, Sun Yat-sen University, 09/2013 - 06/2020 (master-doctor combind program)
• B.Sc., Computer Science, South China Normal University, 09/2009 - 06/2013

Activities

Presentations in AAAI-22(sildes), ECAI-2020(sildes), IJCAI-19(sildes), KRW-2019, KRW-2016

Services

• IJCAI-2023 PC member
• ECAI-2023 PC member
• IJCAI-2022 PC member
• IJCAI-2021 PC member

Master’s Students

• Xuan Liu (2022)
• Zhirong Liang (2023)
• Zhentao Li (2023)
• Xiang Li (2023)

Courses

##

Algorithm Design and Analysis

content

• Lecture 1 (sildes1) (sildes2)
• Lecture 2 (sildes)
• Lecture 3 (sildes)
• Lecture 4 (sildes)
• Lecture 5 (sildes)
• Lecture 6 (sildes)
• Lecture 7 (sildes)
• Lecture 8 (sildes)

other materials:

• 中国幕课北航的《算法设计与分析》
• 书籍《算法》 的配套网站 algs4.cs.princeton.edu