刘艾 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] 2024.12-Now
《西南科技大学学报》（自然科学版）青年编委
[2] 2025.1-Now
CCF YOCSEF南京候任AC委员
[3] 2024.11-Now
CCF形式化专委会通讯委员
- （1）Ai Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.accepted by ISSTA 2025 demo
- （2）Ai Liu.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.accepted by TASE 2025
- （3）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
- （4）Ai Liu.Probabilistic mediator: A coalgebraic perspective.Journal of Logical and Algebraic Methods in Programming.2022,129:100808
-
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