Program Committee Member

    • 2025: ACM CCS, ICSE, ISSTA
    • 2024: ISSTA, ISSRE, ChinaSoft/FMAC, TASE, VALID, ANT, ACNS/SiMLA, EAI MOBIMEDIA
    • 2023: ICSE/SCORE, ATVA, ChinaSoft/FMAC, SETTA, ACNS/SiMLA
    • 2022: InternetWare, SEAIS, ACNS/SiMLA
    • 2021: 2 Tracks of ChinaSoft
    • 2020 and before: InternetWare 2020, ChinaSoft 2020, APSEC 2020, InternetWare 2019, ICFEM 2019

    Reviewer

    • IEEE Transactions on Software Engineering
    • ACM Transactions on Software Engineering Methodology
    • IEEE Transactions on Dependable and Secure Computing
    • IEEE/CAA Journal of Automatica Sinica
    • IEEE Transactions on Neural Networks and Learning Systems
    • Engineering Applications of Artificial Intelligence
    • Computer & Security
    • IEEE Transactions on Reliability
    • IEEE Transactions on Network Science and Engineering
    • Information Fusion
    • Science of Computer Programming
    • Information and Software Technology
    • Formal Aspects of Computing
    • Empirical Software Engineering
    • Knowledge-Based Systems
    • International Journal on Critical Infrastructure Protection
    • Frontier of Computer Science, AVOCS 2015/2017, APSEC 2016, TASE 2016, Internetware 2017, ICOST 2018, ICFEM 2018/2019, PRDC 2018, TASE 2019, FM 2019, ATVA 2020, ISSRE 2021/2022, 软件学报等

    Selected Talks

    • 中国软件大会 可信泛在智能软件系统论坛 2024
    • 中国开源大会 可信大模型评测与开源技术论坛 2024
    • 华为智能时代下的形式化验证技术研讨会 2024
    • CCF形式化方法专委会走进南方电网网络空间安全联合实验室 2024
    • CCF软件工程专委会青年学者论坛第二期 2024
    • CNCC云网融合中的网络形式化方法前沿技术论坛 2023
    • 华为香港形式化方法研讨会 2023
    • CCF形式化方法专委会可信人工智能系列研讨会-华师大 2023
    • OPPO&西安交通大学 泛终端安全技术研讨会 2023
    • 中国软件大会ChinaSoft 2022
    • CCF-华为胡杨林基金形式化方法专项论坛
    • 北京大学Applied Mathematics Seminar
    • CCF形式化方法专委会可信人工智能系列研讨会 2022
    • International Joint Conference On Theoretical Computer Science – Frontier of Algorithmic Wisdom 2022
    • (Keynote) The 1st International Conference on linking Software Engineering, Artificial Intelligence and Security 2022
    • 复旦大学CodeWisdom可信人工智能系列论坛
    • 中国软件大会ChinaSoft 2021 优秀青年学者论坛
    • 中国软件大会ChinaSoft 2020 新兴软件安全论坛 ­
    • TedX Hangzhou
    • 华为人工智能安全论坛 2020
    • 浙江工业大学青年科学家论坛
    • Conference oral presentations: ICSE 2021/2019, FLOC/FM 2018, ETAPS/FASE 2017, ICFEM 2017/2016
    • Volunteers: FM 2014