刘艾 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-Now
国家外国专家局借调
[2] 2024.12-Now
《西南科技大学学报》（自然科学版）青年编委
[3] 2025.1-Now
CCF YOCSEF南京候任AC委员
- （1）Kaicheng Shao.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.accepted by QRS 2025
- （2）Ai Liu.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.accepted by TASE 2025
- （3）Ai Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.ISSTA Companion '25: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis.2025:66-70
- （4）Ai Liu.Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.IEEE Transactions on Software Engineering.2023,49(1):304 - 324
-
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