刘艾
教师姓名：刘艾
教师拼音名称：Liu Ai
电子邮箱：
所在单位：计算机科学与技术学院/人工智能学院/软件学院
职务：Associate Professor
学历：博士毕业
性别：男
联系方式：shaoai@nuaa.edu.cn
学位：理学博士学位
职称：副教授
毕业院校：北京大学
所属院系：计算机科学与技术学院/人工智能学院/软件学院
其他联系方式
暂无内容
学术活动
Guest Editor: Complex Engineering Systems, Topic: Advancements in Formal Methods for System Development (oaepublish.com)
PC Member： 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： TASE, ISSRE, SEKE
Reviewer of Doctoral Thesis：Annamalai University
