刘艾
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
暂无内容
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