刘艾
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
其他联系方式
暂无内容
科学研究
- 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
西安科技大学，计算机学院，2024.5.21：基于测试的形式验证：理论扩展与应用探索
北京大学，数学科学学院，2024.3.20：Applied Mathematics Seminar——基于测试的形式验证：理论扩展与应用探索
Guest Editor: Complex Engineering Systems, Topic: Advancements in Formal Methods for System Development (oaepublish.com)
PC Member：SFPVV 2024 (at the ICFEM 2024 conference), AISQ 2024 (at the ISSRE 2024 conference), FPDRE 2024 (at the QRS 2024 conference), MLiSE 2021 (at the ECML PKDD 2021 conference)
Workshop/Tutorial Chair： ICECCS 2022
PC Co-chair： SOFL+MSVL 2022 (at the ICFEM 2022 conference)
Review Editor: Frontiers in Computer Science
(Sub)-Reviewer of Journals：IEEE Transactions on Reliability, Frontiers of Computer Science, International Journal of Software Engineering and Knowledge Engineering, Science of Computer Programming
(Sub)-Reviewer of Conferences：FoSSaCS 2025, TASE, ISSRE, SEKE
Reviewer of Doctoral Thesis：Annamalai University
2024-11-04，刘少英，广岛大学教授，软件质量保障的基于测试的形式化验证方法。
2024-10-28，孙猛，北京大学教授，深度学习系统的可信性保障。
2024-05-17，张喜悦，牛津大学副研究员，神经网络的可证明原像下近似。
2024-05-17，官极，中科院软件所副研究员，可信量子机器学习算法——鲁棒性和公平性。
