刘艾
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院

暂无内容

Guest Editor: Complex Engineering Systems, Topic: Advancements in Formal Methods for System Development (oaepublish.com)
PC Member:AISQ 2024 (at the ISSRE 2025 conference), SFPVV 2025, 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