刘艾
硕士生导师
教师姓名：刘艾
教师拼音名称：Liu Ai
电子邮箱：
所在单位：计算机科学与技术学院/人工智能学院/软件学院
职务：Associate Professor
学历：博士毕业
性别：男
联系方式：shaoai@nuaa.edu.cn
学位：理学博士学位
职称：副教授
毕业院校：北京大学
所属院系：计算机科学与技术学院/软件学院
招生学科专业：
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
其他联系方式
暂无内容
论文成果
- Kaicheng Shao,,Yuteng Lu,Ai Liu,Meng Sun.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples:accepted by QRS 2025
- Ai Liu,,Yang Liu,Shaoying Liu,Zhibin Yang.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness:accepted by TASE 2025
- Ai Liu,,Yang Liu,Shaoying 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
- Ai Liu,,Shaoying 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
- Ai Liu,,Shaoying Liu,Meng Sun.Probabilistic mediator: A coalgebraic perspective:Journal of Logical and Algebraic Methods in Programming,2022,129:100808
- Ai Liu,,Shun Wang,Luis Soares Barbosa,Meng Sun.Fuzzy Automata as Coalgebras:Mathematics,2021,9(3):272
- Ai Liu,Meng Sun.A Unifying Coalgebraic Semantics Framework for Quantum Systems:International Journal of Software Engineering and Knowledge Engineering,2021,31(3):381-403
- Ai Liu,Meng Sun.A Coalgebraic Semantics Framework for Quantum Systems:Proceedings of ICFEM 2019
- Ai Liu,,Shun Wang,Yi Li,Meng Sun.On Semantics for Mediator: A Coalgebraic Perspective:Proceedings of SOFL+MSVL 2018:146-165
- 刘艾,.寻访江安国立剧专——中国戏剧摇篮:生态文明世界,2021,3:90-95+7
