刘艾 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
No content
- （1）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
- （2）Ai Liu.Probabilistic mediator: A coalgebraic perspective.Journal of Logical and Algebraic Methods in Programming.2022,129:100808
- （3）Ai Liu.Fuzzy Automata as Coalgebras.Mathematics.2021,9(3):272
- （4）Ai Liu.A Unifying Coalgebraic Semantics Framework for Quantum Systems.International Journal of Software Engineering and Knowledge Engineering.2021,31(3):381-403
-
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