刘艾 Associate Professor
Ai Liu, an associate professor at College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics, received the Ph.D in Applied Mathematics from Peking University, China in 2020. My research interests include Testing-Based Formal Verification, Dynamic Set Theory and Coalgebra Theory.
Abouts
-
Personal Information
Gender:Male
Degree:Doctoral Degree in Science
Alma Mater:Peking University
Read More> -
Other Contact Information:
No Content
-
Research Focus
[1]Testing-Based Formal Verification
[2]Coalgebra Theory
-
Social Affiliations
[1] 2025.4-2026.1
国家外国专家局借调
[2] 2024.12-Now
《西南科技大学学报》（自然科学版）青年编委
[3] 2025.1-Now
CCF YOCSEF南京候任AC委员
- （1）多智能体协同行为的形式化语义与可信验证机制研究，江苏省基础研究计划-青年基金项目
- （2）量子软件的程序演算与动态逻辑，外国专家项目个人S类
- （3）合同解析智能体研发
- （4）低空无人机安全管控关键技术研究
- （1）Shaoying Liu.TBFVV: Testing-Based Formal Validation and Verification.accepted by ICFEM 2026
- （2）Ai Liu.Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification.Proceedings of ISSRE 2025.2025:179-190
- （3）Min Zhou.Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models.Proceedings of QRS-C 2025.2025:416-425
- （4）Kaicheng Shao.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.Proceedings of QRS 2025.2025:154-163
-
Nanjing University of Aeronautics and Astronautics > Associate Professor
-
Hiroshima University > Assistant Professor
-
Pengcheng Lab > Trainee
-
Minho University > VIsiting Scholar
-
Peking University > Applied Mathematics > Doctoral Degree in Science > With Certificate of Graduation for Doctorate Study
-
University of Science and Technology of China > Mathematics and Applied Mathematics > Bachelor's Degree in Science > With Certificate of Graduation for Undergraduate Study