刘艾 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）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