学术和院系服务

领域主席 · ICSE 2028

领域主席 · ISSTA 2027

程序委员会主席 · 第一届CCF程序设计语言会议

副主席 · PLDI 2027

副主编 · IEEE Transactions on Software Engineering

程序委员会委员 · POPL 2027

程序委员会委员 · ICSE 2027

论坛联合主席 · 中国软件大会编程语言前沿技术论坛

选择委员会成员 · SIGSOFT Summer/Winter School funding program

副主席 · OOPSLA 2026

程序委员会委员 · ASE 2025 Journal-First Track

领域主席 · ASE 2025

程序委员会委员 · ICSE 2026

程序委员会委员 · LLM4Code 2025

导师团主席 · ICSE 2025 Shadow PC Track

程序委员会委员 · SETTA 2024

论坛联合主席 · 全国软件与应用学术会议缺陷修复论坛

论坛联合主席 · 第9届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛

编辑 · IEEE Transactions on Software Engineering

程序委员会委员 · 第7届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛

程序委员会委员 · 第6届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛

论坛联合主席 · 中国软件大会形式化方法教育论坛

论坛主席 · 中国计算机大会领域特定语言与安全编程论坛

审稿委员会成员 · OOPSLA 2024

程序委员会委员 · ICSE 2024

程序委员会委员 · PLDI 2023

程序委员会委员 · ICSE 2023

综合管理办公室主任 · 北京大学-中兴通讯基础软件联合实验室

系主任助理/院长助理 · 北京大学计算机科学技术系/计算机学院

副所长 · 北京大学计算机科学技术系软件研究所

程序委员会委员 · 中国软件大会 2021 （形式化方法与应用）

程序委员会委员 · ESEC/FSE 2022

程序委员会委员 · ESEC/FSE 2021

审稿委员会委员 · IEEE Transactions on Software Engineering

程序委员会委员 · APR 2020

程序委员会委员 · ICSE 2021

程序委员会委员 · ESEC/FSE 2020

程序委员会委员 · ICSE 2020

程序委员会委员 · ASE 2019

程序委员会委员 · NASAC 2018 English Track

程序委员会委员 · ISSTA 2019

程序委员会委员 · ICSE 2019

程序委员会联合主席 · 全国软件分析测试与演化学术会议(SATE'18)

程序委员会委员 · FASE 2019

程序委员会委员 · APSEC 2018

程序委员会委员 · ASE 2018

组织者 · 软件工程青年学者沙龙2017

宣传负责人 · MODELS 2018

宣传负责人 · SPLC 2018

审稿委员会委员 · IEEE Transactions on Software Engineering

审稿委员会委员 · Empirical Software Engineering

程序委员会委员 · APLAS 2017

程序委员会委员 · FASE 2018

专题讲座共同主席 · SPLC 2017

程序委员会委员 · SPLC 2017

编委 · 中国计算机学会软件工程专委会微信公众号“软件工程研究与实践”

程序委员会委员 · YRSETTA

程序委员会委员 · ICSE 2017 NIER

程序委员会委员 · 第一届全国形式化方法与应用会议（FMAC 2016）

程序委员会委员 · 全国软件分析测试与演化学术会议（SATE 2016）

会议组织者 · BX Meeting 2016

程序委员会委员 · ASE Research Demonstration

程序委员会委员 · BX Workshop

出版负责人 · SPLC

程序委员会委员 · Internetware

程序委员会委员 · SPLC

审稿人 · 中国科学, 软件学报, 计算机学报, TSE, JSS, STVR

程序委员会委员 · FASE

程序委员会委员 · TASE

程序委员会委员 · BX Workshop

审稿人 · IEEE Transactions on Service Computing

审稿人 · Science of Computer Programming

本地组织负责人 · AWASE

程序委员会委员 · Internetware

程序委员会委员 · TASE

程序委员会委员 · BX Workshop

海报/工具展示负责人 · ISHCS

注册负责人 · Middleware

扩展审稿委员会委员 · OOPSLA

程序委员会委员 · MODELS EduSymp

程序委员会委员 · ICSE SRC

审稿人 · Software and Systems Modeling

审稿人 · IEEE Transaction on Service Computing

程序委员会委员 · BX Workshop

审稿人 · Science of Computer Programming

审稿人 · Software Testing, Verification and Reliability

审稿人 · Software Quality Journal

组织者 · CASCON ECCM-BPM Workshop

本地组织 · AWFS