一、实验室主办、承办国际国内会议
序 号 |
会议名称 |
日期 |
人数 |
国内或国际 |
承办人 |
地点 |
1 |
CCF ADL《安全系统软件》 |
2022.11.11-2022.11.13 |
63 |
国内 |
谢涛、 胡振江 |
北京 |
二、互访情况 |
||||||||
日 期 |
地点 |
访问方（单位）→接待方(单位) |
||||||
2022.1.9 |
北京 |
西安电子科大刘永军副教授→重点实验室 |
||||||
三、学术报告 |
||||||||
序 号 |
日 期 |
报告内容 |
报告人 |
地 点 |
||||
1 |
2022.1.9 |
基于OFDM的通信感知一体化设计方法研究 |
刘永军——西安电子科技大学副教授 |
北京大学 |
||||
2 |
2022.6.29 |
Sensor-less Energy-free Sensing: Past, Present, and Future. |
Moustafa Youssef开罗美国大学和亚历山大大学 |
线上 |
||||
3 |
2022.7.4 |
Introduction to Formal Methods and Formal Engineering Methods |
Shaoyin Liu |
线上 |
||||
4 |
2022.7.5 |
Formal Specification Language |
Shaoyin Liu |
线上 |
||||
5 |
2022.7.6 |
Data Types and Specification Techniques |
Shaoyin Liu |
线上 |
||||
6 |
2022.7.7 |
Hoare Logic for Program Correctness Proof |
Shaoyin Liu |
线上 |
||||
7 |
2022.7.8 |
Specification-Based Program Inspection and Testing |
Shaoyin Liu |
线上 |
||||
8 |
2022.7.20 |
Decoding Hidden Worlds: Wireless & Sensor Technologies for Oceans, Health, and Robotics |
Fadel Adib，麻省理工学院 |
线上 |
||||
9 |
2022.7.20 |
IoT and Cloud-Edge-IoT Architecture |
Sumi Helal，佛罗里达大学 |
线上 |
||||
10 |
2022.10.26 |
Software Engineering Education, What And Why |
David Lorge Parnas |
线上 |
||||
四、国际期刊任职
序 号 |
任职人 |
期刊名称 |
任职类型 |
1 |
崔斌 |
Data Science and Engineering |
Editor in Chief |
2 |
崔斌 |
Distributed and Parallel Databases |
Editorial Board Member |
3 |
郝丹 |
IEEE Transactions on Software Engineering |
Associate Editor |
4 |
郝丹 |
Empirical Software Engineering |
Associate Editor |
5 |
郝丹 |
ACM Computing Survey |
Associate Editor |
6 |
郝丹 |
Software Testing, Verification and Reliability |
Deputy Editor-in-Chief |
7 |
胡振江 |
Science of Computer Programming |
Editorial Board Members |
8 |
胡振江 |
Software and Systems Modeling |
Editorial Board Members |
9 |
胡振江 |
Journal of Object Technology |
Editorial Board Members |
10 |
胡振江 |
National Science Review |
Editorial Board Members |
11 |
胡振江 |
SCIENCE CHINA Information Sciences |
Editorial Board Members |
12 |
熊英飞 |
Review Board Member |
|
13 |
黄罡 |
ACM Transactions on Internet Technology |
Associate Editor |
14 |
黄罡 |
Journal of Internet Services and Applications |
Editor |
15 |
刘譞哲 |
IEEE Transactions on Mobile Computing |
Associate Editor |
16 |
刘譞哲 |
ACM Transactions on Intelligent Systems |
Associate Editor |
17 |
周明辉 |
Journal of Systems & Software |
Associate Editor |
18 |
周明辉 |
Empirical software engineering |
Associate Editor |
19 |
金芝 |
IEEE Transactions on Software Engineering |
Associate Editor |
20 |
金芝 |
Requirements Engineering Journal |
Editorial Board Member |
21 |
金芝 |
Empirical Software Engineering |
Editorial Board Member |
22 |
金芝 |
IEEE Transactions on Reliability |
Associate Editor |
23 |
金芝 |
ACM Transactions on Autonomous and Adaptive Systems |
Associate Editor |
24 |
张路 |
Software Testing, Verification and Reliability |
Editorial Board |
25 |
谢涛 |
Journal of Software Testing, Verification and Reliability（STVR) Wiley期刊 |
联合主编 |
26 |
谢涛 |
Communications of ACM (CACM) |
编委 |
27 |
谢涛 |
ACM Transactions on Software Engineering and Methodology (TOSEM) |
编委 |
28 |
谢涛 |
ACM Transactions on Internet Technology (TOIT) |
编委 |
29 |
谢涛 |
IEEE Software杂志 |
指导委委员及奖励项目主席 |
30 |
张大庆 |
IEEE Pervasive Computing |
Associate Editor |
31 |
张大庆 |
ACM Transactions on Intelligent System and Technology |
Associate Editor |
32 |
张大庆 |
ACM IMWUT |
Advisory Board Member |
33 |
许辰人 |
Proceedings of the ACM on IMWUT [CCF A] |
Editor |
34 |
许辰人 |
Chinese Journal of Electronics [CCF T1] |
Associate Editor |
35 |
刘云淮 |
IEEE Transactions on Network Science and Engineering |
Associate Editor |
五、国际会议任职情况
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
崔斌 |
KDD 2022 |
PC 高级委员 |
2 |
崔斌 |
ICDE 2022 |
PC 委员 |
3 |
郝丹 |
ASE |
Steering Committee Member |
4 |
郝丹 |
ICST 2023 |
PC Co-Chair |
5 |
郝丹 |
SANER 2022 |
PC Co-Chair |
6 |
郝丹 |
ICSE 2023 NIER Track |
Track Co-Chair |
7 |
郝丹 |
FSE 2022 Demo Track |
Track Co-Chair |
8 |
郝丹 |
ICSE 2022 Demo Track |
Track Co-Chair |
9 |
郝丹 |
FSE 2022/2023 |
PC |
10 |
郝丹 |
ICSE 2022 |
PC |
11 |
郝丹 |
ASE 2022 |
PC |
12 |
胡振江 |
FLOPS 2022 |
PC member |
13 |
胡振江 |
SEAMS 2022 |
PC member |
14 |
胡振江 |
Euro-Par 2022 |
PC member |
15 |
胡振江 |
APLAS 2022 |
PC member |
16 |
胡振江 |
SLE 2022 |
PC member |
17 |
胡振江 |
Member |
|
18 |
李锭 |
CCS 2022 |
PC |
19 |
李锭 |
ISSTA 2022 |
PC |
20 |
李锭 |
ASE 2022 |
PC |
21 |
孙艳春 |
SEKE 2022 |
PC member |
22 |
孙艳春 |
ACM TURC 2022 |
PC member |
23 |
熊英飞 |
ICSE 2022 |
PC Member |
24 |
熊英飞 |
ESEC/FSE 2022 |
PC Member |
25 |
张昕 |
PLDI 2022 |
PC 程序会员 |
26 |
赵海燕 |
RE 2022 |
Student Volunteer Co-Chairs |
27 |
赵海燕 |
Internetware 2022 |
PC |
28 |
赵海燕 |
MODELSWARD 2022 |
PC |
29 |
赵海燕 |
Poster Model 2022 |
PC |
30 |
赵海燕 |
ECMFA 2022 |
PC |
31 |
赵海燕 |
CSSE 2022 |
PC |
32 |
周明辉 |
2022 ESEC/FSE |
pc member |
33 |
周明辉 |
2022 ESEC/FSE Doctoral Symposium |
pc member |
34 |
周明辉 |
ICPC |
pc member |
35 |
周明辉 |
ICSE-NIER |
pc member |
36 |
周明辉 |
ESEM |
pc member |
37 |
刘譞哲 |
SIGIR 2022 |
PC Member |
38 |
刘譞哲 |
Middleware 2022 |
PC Member |
39 |
刘譞哲 |
WWW 2022 |
PC Member |
40 |
金鑫 |
EuroSys 2022 |
PC Member |
41 |
金鑫 |
INFOCOM 2022 |
PC Member |
42 |
金鑫 |
APSys 2022 |
PC Member |
43 |
金鑫 |
APNet 2022 |
PC Co-Chair |
44 |
马郓 |
WWW 2022 |
PC Member |
45 |
马郓 |
WSDM 2023 |
PC Member |
46 |
李戈 |
AAAI 2022 |
PC |
47 |
李戈 |
SENAR 2022 |
PC |
48 |
李戈 |
DeLTA 2022 |
PC |
49 |
李戈 |
Internetware 2021 |
程序委员会共同主席 |
50 |
许辰人 |
MobiCom 2022 [CCF A & CSRankings] |
PC委员 |
51 |
许辰人 |
MobiSys 2022 [CCF A & CSRankings] |
PC委员 |
52 |
许辰人 |
SenSys 2022 [CCF B & CSRankings] |
PC委员 |
53 |
许辰人 |
IPSN 2022 [CCF B] |
PC委员 |
54 |
许辰人 |
INFOCOM 2022 [CCF A] |
PC委员 |
55 |
许辰人 |
SECON 2022 [CCF B] |
PC委员 |
56 |
许辰人 |
IWQoS 2022 [CCF B] |
PC委员 |
57 |
许辰人 |
ICDCS 2022 [CCF B] |
Poster & Demo主席 |
58 |
许辰人 |
MobiCom 2022 [CCF A] |
Publicity主席 |
59 |
刘云淮 |
IEEE ICPADS 2022 |
General Co-chair大会共同主席 |
六、国内期刊任职情况
序 号 |
任职人 |
期刊名称 |
任职类型 |
1 |
崔斌 |
软件学报、中国科学 信息科学、JCST |
编委 |
2 |
吴中海 |
电子学报 |
编委 |
3 |
许进 |
电子与信息学报 |
副主编 |
4 |
许进 |
计算机学报 |
编委 |
5 |
金芝 |
计算机学报 |
副主编 |
6 |
张路 |
软件学报 |
编委 |
7 |
张路 |
计算机研究与发展 |
编委 |
8 |
张路 |
中国科学 |
编委 |
9 |
谢涛 |
信息安全学报 |
编委 |
10 |
谢涛 |
SCIENCE CHINA Information Sciences (SCIS) |
青年科学家委员会委员 |
11 |
谢涛 |
Journal of Computer Science and Technology (JCST) |
领域Leading Editor |
12 |
谢涛 |
Cybersecurity |
编委 |
13 |
谢涛 |
国家科学评论（NSR）学科 |
编辑工作组成员 |
14 |
张大庆 |
CCF Transactions Pervasive Comp. Interact. |
Associate Editor |
15 |
刘譞哲 |
《计算机应用》期刊 |
编委 |
16 |
许辰人 |
电子学报 [CCF T1] |
Associate Editor |
17 |
许辰人 |
中国计算机学会通讯 |
Associate Editor |
七、国内会议任职情况
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
崔斌 |
2022全国数据库年会 （NDBC） |
PC共同主席 |
2 |
孙艳春 |
第十三届中国计算机学会服务计算学术会议(NCSC 2022) |
程序委员会委员 |
3 |
熊英飞 |
中国软件大会形式化方法与应用Track |
PC |
4 |
熊英飞 |
中国软件大会形式化教育论坛 |
论坛主席 |
5 |
熊英飞 |
中国计算机大会领域特定语言与安全编程论坛 |
论坛主席 |
6 |
张昕 |
CNCC 2022计算机软硬件系统安全性形式化验证论坛 |
论坛共同主席 |
7 |
刘譞哲 |
CCF 2022中国数字服务大会 |
论坛共同主席 |
8 |
李戈 |
CCF中国软件大会 |
程序委员会共同主席 |
9 |
金芝 |
中国软件大会 |
大会共同主席 |
10 |
许辰人 |
2022年度嵌入式智能大会 |
大会共同主席 |
11 |
张大庆 |
人机和谐年会 （HHME 2022） |
大会主席 |
12 |
张大庆 |
CNCC“无线通信感知融合面临的挑战和机遇论坛 |
论坛主席 |
13 |
谢涛 |
CCF中国计算机大会（CNCC 2022） |
指导委员会委员 |
14 |
谢涛 |
2022 CCF“计算之美”学术大会 |
程序委员会共同主席 |
八、国内外学术机构任职情况
序 号 |
姓名 |
任职机构或组织 |
职务 |
1 |
崔斌 |
VLDB Endowment |
理事 |
2 |
崔斌 |
中国计算机学会数据库专委会 |
秘书长 |
3 |
胡振江 |
IFIP Working Group 2.1 |
member |
4 |
胡振江 |
Asian Association for Foundation of Software |
Executive Committee Member , co-chair |
5 |
胡振江 |
Bidirectional Transformation |
Advisory Board Member |
6 |
胡振江 |
International Conference on Model Transformations |
Steering Committee Member |
7 |
孙艳春 |
中国计算机学会软件工程专委会、服务计算专委会 |
委员 |
8 |
孙艳春 |
ACM SIGCSE China |
理事 |
9 |
孙艳春 |
CCF教育专委会 |
教育专委执行委员 |
10 |
赵俊峰 |
ISO/IEC WG11 知识可信adhoc组 |
联合编辑 |
11 |
赵俊峰 |
ISO/IEC JTC1 WG11智慧城市工作组 |
国际专家 |
12 |
熊英飞 |
BX Advisory Board |
Member |
13 |
许进 |
中国电子学会电路与系统分会生物计算与生物处理专业委员会 |
理事长 |
14 |
许进 |
中国电子学会电路与系统分会 |
副主任委员 |
15 |
许进 |
中国网络空间安全协会 |
委员 |
16 |
许进 |
电子与信息学报 |
副主编 |
17 |
许进 |
广州大学学报（自然科学版） |
主编 |
18 |
许进 |
计算机学报 |
编委 |
19 |
许进 |
电子学报 |
编委 |
20 |
许进 |
软件学报 |
编委 |
21 |
李戈 |
CCF软件工程专业委员会 |
秘书长 |
22 |
金芝 |
CCF常务理事、系统软件专委会主任 |
理事、主任 |
23 |
张大庆 |
CCF 普适计算专委会 |
主任 |
24 |
刘譞哲 |
IEEE Technical Committee on Services Compuitng |
Vice Chair |
25 |
刘譞哲 |
中国计算机学会学术工作委员会 |
委员 |
26 |
王腾蛟 |
国家统计专家咨询委员会 |
委员 |
27 |
王腾蛟 |
国家外交部大数据专委会 |
委员 |
28 |
王腾蛟 |
中国计算机学会数据库专委会 |
委员 |
29 |
王腾蛟 |
中国计算机学会大数据专家委员会 |
委员 |
30 |
王腾蛟 |
中国软件行业协会数据与智能专委会 |
委员 |
31 |
陈薇 |
中国计算机学会大数据专家委员会 |
通讯委员 |
32 |
张颖 |
中国计算机学会 |
数字政府专委会创始委员 |
33 |
张颖 |
中国电子学会 |
科学技术奖励评审专家 |
34 |
黄罡 |
中国电子学会云计算与大数据青年科学家专委会 |
主任 |
35 |
黄罡 |
中国计算机学会专委工作委员会副主任、青工委委员、ADL工委委员 |
副主任、委员 |
36 |
黄罡 |
北京大数据先进技术研究院 |
首席科学家 |
37 |
黄罡 |
中国电子学会青年科学家俱乐部副主席，轮值主席，理事 |
副主席，理事 |
38 |
黄罡 |
ATSD Digital Object Interface Protocol (DOIP) Standard Development & Application Task Group |
Co-Chair |
39 |
吴中海 |
教育部软件工程教学指导委员会 |
副主任委员 |
40 |
谢涛 |
香港研究资助局协作研究金委员会 |
成员 |
41 |
谢涛 |
香港研究资助局工程学学科小组（合作研究计划） |
成员 |
42 |
谢涛 |
ACM SIGSOFT |
历史联络员, 执委会委员 |
43 |
谢涛 |
北美计算机华人学者协会软件工程专业委员会 |
联席主席 |
44 |
谢涛 |
CCF软件工程专委会 |
副主任 |
45 |
谢涛 |
CCF专委工作委员会 |
副主任 |
46 |
谢涛 |
CCF开源发展委员会 |
常委 |
47 |
谢涛 |
CCF系统软件专委会 |
专委 |
48 |
谢涛 |
CCF大数据专家委员会 |
专委 |
49 |
谢涛 |
CCF女计算机工作者委员会 |
执委 |
50 |
谢涛 |
CCF CTO俱乐部 |
创始成员 |
51 |
谢涛 |
ACM中国理事会奖励委员会 |
委员 |
52 |
谢涛 |
IEEE Software最佳论文奖评奖委员会 |
委员 |
53 |
谢涛 |
ACM中国理事会 |
常务理事 |
54 |
谢涛 |
北京软件和信息服务协会 |
专家 |
55 |
谢涛 |
中国计算机学会计算机企业核心技术丛书编委会 |
委员 |
56 |
谢涛 |
中国计算机学会ADL工作组 |
成员 |
57 |
许辰人 |
ACM SIGBED China |
秘书长 |
58 |
许辰人 |
ACM SIGBED |
常委 |
59 |
许辰人 |
ACM SIGMOBILE |
常委 |
60 |
刘云淮 |
ACM China Council |
副主席 |
61 |
马郓 |
中国计算机学会 |
服务计算专委委员、传播工委委员 |
62 |
郝丹 |
ACM SIGSOFT Award Committee for Outstanding Doctoral Dissertation Award and Early Career Research Award |
成 |