Service & talks
Program committees
- 2027
- SAC (Track Co-chair of SVT), ICSE, FSE, USENIX Security, AAAI
- 2026
- SETTA (PC Co-chair), SAC (Track Co-chair of SVT), ACM CCS, ASE, ISSRE, AAAI, ICML
- 2025
- ICFEM (PC Co-chair), Large Model Safety Workshop (PC Co-chair), ACM CCS, ICSE, ASE, ISSTA, WWW, ISSRE, ChinaSoft/FMAC, ChinaSoft/FM and LLM
- 2024
- ISSTA, ISSRE, ChinaSoft/FMAC, TASE, VALID, ANT, ACNS/SiMLA
- 2023
- ATVA, SETTA, ChinaSoft/FMAC, ICSE/SCORE, ACNS/SiMLA
- 2022
- InternetWare, SEAIS, ACNS/SiMLA
- 2021
- Two tracks of ChinaSoft
- ≤2020
- InternetWare 2019/2020, ChinaSoft 2020, APSEC 2020, InternetWare 2019, ICFEM 2019
Journal reviewing
- IEEE Transactions on Software Engineering
- ACM Transactions on Software Engineering and Methodology
- IEEE Transactions on Dependable and Secure Computing
- IEEE/CAA Journal of Automatica Sinica
- IEEE Transactions on Neural Networks and Learning Systems
- IEEE Transactions on Reliability
- IEEE Transactions on Network Science and Engineering
- Engineering Applications of Artificial Intelligence
- Computers & Security
- Information Fusion
- Science of Computer Programming
- Information and Software Technology
- Formal Aspects of Computing
- Empirical Software Engineering
- Knowledge-Based Systems
- International Journal of Critical Infrastructure Protection
- Frontiers of Computer Science, 软件学报
Conference reviewing also includes AVOCS 2015/2017, APSEC 2016, TASE 2016/2019, Internetware 2017, ICOST 2018, ICFEM 2018/2019, PRDC 2018, FM 2019, ATVA 2020 and ISSRE 2021/2022.
Selected invited talks
- 2025
- IEEE CRESS 内生安全基础理论与应用分论坛 · 华师大 工业协议安全验证、安全与测试分析研讨会 · 中国软件大会 顶会顶刊论坛 · 阿里云”向上生长”技术分享系列 · 华师大 高可信软件智能化工程前沿论坛
- 2024
- 华为应用安全论坛 · 中国软件大会 可信泛在智能软件系统论坛 · 中国开源大会 可信大模型评测与开源技术论坛 · 华为智能时代下的形式化验证技术研讨会 · CCF形式化方法专委会走进南方电网网络空间安全联合实验室 · CCF软件工程专委会青年学者论坛第二期
- 2023
- 中国计算机大会 云网融合中的网络形式化方法前沿技术论坛 · 华为香港形式化方法研讨会 · CCF形式化方法专委会可信人工智能系列研讨会（华师大） · OPPO & 西安交通大学 泛终端安全技术研讨会
- 2022
- Keynote, 1st International Conference on Linking Software Engineering, Artificial Intelligence and Security · International Joint Conference on Theoretical Computer Science, Frontier of Algorithmic Wisdom · 北京大学 Applied Mathematics Seminar · 中国软件大会 ChinaSoft · CCF形式化方法专委会可信人工智能系列研讨会 · 复旦大学 CodeWisdom 可信人工智能系列论坛
- 2021
- 中国软件大会 ChinaSoft 优秀青年学者论坛
- 2020
- 中国软件大会 ChinaSoft 新兴软件安全论坛 · 华为人工智能安全论坛 · 浙江工业大学青年科学家论坛 · TEDx Hangzhou
Conference presentations
ICSE 2019 and 2021, FLOC/FM 2018, ETAPS/FASE 2017, ICFEM 2016 and 2017. Volunteer at FM 2014.