交流互访

一、实验室主办、承办国际国内会议

会议名称

日期

国内或国际

承办人

备注

1

IEEE World Congress of Services

2020.10.18-23

国际

梅宏、金芝


二、学术报告

日 期

报告内容

报告人

1

2020.09.12

Security Concerns in Containerization & Hardware

Pinchen Cui,Ph.D.

Computer Science & software Engineering Department of   Auburn University

北京大学

2

2020.10.21

Type-Based Resource-Guided Search

王迪--美国卡内基梅隆大学

在线

3

2019.11.23

Semantic-Aware Detection of Missing-Check Bugs in OS Kernels

Kangjie Lu

Assistant Professor

University 0f Minnesota-Twin Cities

北京大学

4

2019.11.12

Stabilizing mixed vehicular platoons with connected automated   vehicles: An H-infinity approach

Yang ZHOU

Research Associate

Civil and Environmental Engineering University of   Wisconsin-Madison

北京大学

5

2019.12.16

How to identify anomalies accurately and privately

Jaideep Vaidya

ACM Distinguished Scientist MSIS Department Rutgers   University, USA

北京大学

6

2019.12.16

Cyber Security Threat Intelligence: Challenges and Research   Opportunities

Kim-Kwang Raymond Choo

Associate Professor & Cloud Technology Endowed   Professorship

The University of Texas at San Antonio, USA

北京大学

三、特邀报告

报告名称

报告人

会议名称

日期

地点

1

基于WiFi4G/5G的非接触无线感知:挑战、理论和应用

张大庆

2020北京智源大会-机器感知论坛

2020.06.22

北京

2

智能感知-构建智慧城市的基石

张大庆

中欧城市创新发展论坛

2020.06.25

南京

3

多设备协作无线感知:理论、实践与思考

张大庆

2020 CSCW与社会计算论坛

2020.08.21

上海

4

“自动化机器学习:挑战、技术及系统”

崔斌

2020年腾讯广告算法大赛

2020.8.10

线上

5

Learning from Source Code

金芝

The 13th International   Conference on Knowledge

Science, Engineering and Management (KSEM 2020)

2020.08.30

On-line

6

无线感知:从菲涅尔区模型到CSI商模型

张大庆

2020无线感知前沿技术论坛

2020.08.01

南京

7

Knowledge management for   smart city: Model, method & framework

赵俊峰

IEC Systems Committee Smart Cities WG1 virtual

workshop

2020.9.30

线上

8

情境感知:过去、现在与未来

张大庆

2020 中国计算机大会(CNCC)情境智能论坛

2020.10.23

北京

9

城市时空数据预测:现状和挑战

王乐业

2020和谐人机环境联合学术会议(HHME)技术论坛

2020.10.16

重庆

10

多源信息制导的构建缺陷研究

郝丹

第三届软件全方位缺陷检测论坛

2020.10.18

网上

11

交互式程序综合中的问题选择

熊英飞

中国计算机大会技术论坛

2020.10.24

北京

12

检测神经网络体系结构中的数值计算缺陷

熊英飞

中国计算机大会技术论坛

2020.10.22

北京

13

软件质量创新技术

谢涛

2020年华为ICT软件技术大会(主会场)

2020.10.16

西安

14

软件工程教育与技能评测的智能化

谢涛

CCF中国软件大会软件工程教育论坛

2020.11.20

重庆

15

大数据时代的可信软件构造与保障

谢涛

高可信软件技术应用研讨会

2020.10.28

合肥

16

智能化测试:软件自动化的先行者

谢涛

全球软件质量&效能大会(QECon

2020.9.4

上海

17

影响力驱动的产学研合作模式

谢涛

2020·INCLUSION·外滩大会(校企合作 - 引领技术 、关注人才、共创未来论坛)

2020.9.24

上海

18

智能化软件工程

谢涛

2020腾讯品质峰会

2020.10.13

深圳

19

Mobile App Testing and   Analysis: Getting There in Industrial Cases

谢涛

The 3rd International   Workshop on Advances in Mobile App Analysis (A-Mobile 2020)

2020.9.21

线上

20

人工智能、大数据和软件技术
 
的交叉融合

谢涛

全球人工智能产品应用博览会(IEEE   FELLOW高峰论坛)

2020.8.15

线上

21

支撑智能应用的基础软件创新

谢涛

CCF第35届中国计算机应用大会

2020.10.17

襄阳

22

软件工程和系统软件研究的交叉融合

谢涛

18 ChinaSys 研讨会

2020.6.28

线上

23

两极分“化”的计算和研究思维

谢涛

CCF青年精英大会(CCF YEF2020)

2020.6.5

线上



四、互访情况

日 期

地点

访问方(单位)→接待方(单位)

2020.1.12-20

美国

胡振江、谢涛教授南加大,加州大学圣地亚哥分校,华盛顿大学,圣地亚哥大学,伊利诺伊大学香槟分校

 

            五、国际期刊任职

任职人

期刊名称

任职类型

1

崔斌

Distributed and Parallel   Databases

Editorial Board Member

2

崔斌

Information Systems

Editorial Advisory Board   Member

3

郝丹

IEEE Transactions on   Software Engineering

Associate Editor

4

郝丹

Empirical Software Engineering

Associate Editor

5

郝丹

Software Testing,   Verification, and Reliability

Associate Editor

6

郝丹

IEEE Transactions on   Reliability

Guest Editor

7

胡振江

Science of Computer   Programming

编委

8

胡振江

Software and Systems   Modeling

编委

9

熊英飞

IEEE Transactions on   Software Engineering

Review   Board Member

10

金芝

IEEE Transactions on   Software Engineering

Associate Editor

11

金芝

Requirements Engineering   Journal

Editorial Board Member

12

金芝

Empirical Software   Engineering

Editorial Board Member

13

金芝

IEEE Transactions on   Reliability

Associate Editor

14

周明辉

Journal of Software:   Evolution and Process

Associate   Editor

15

黄罡

ACM Transactions on Internet Technology

Associate   Editor

16

刘譞哲

ACM   Transactions on Intelligent Systems and Technology

Associate   Editor

17

黄罡

Journal of   Internet Services and Applications

Member of   Editorial Board

18

王乐业

Frontiers in Sustainable Cities - Smart Technologies and   Cities

编委

19

张大庆

IEEE Transactions on Big Data

编委

20

张大庆

ACM Transaction on Intelligent Systems and Technology

编委

21

张大庆

IEEE Pervasive Computing

编委

22

张大庆

Proceedings of the ACM on Interactive, Mobile, Wearable and   Ubiquitous Technologies

编委,顾问

23

张路

Software Testing, Verification   and Reliability

Editorial Board

24

李戈

IST Special Section on Intelligent   Software Engineering

Co-Editor



           六、国际会议任职

任职人

会议名称

任职类型

1

曹永知

IJCAI-PRICAI2020

PC 委员

2

崔斌

SIGMOD、VLDB、KDD

PC 委员

3

崔斌

ICDE

Poster track Chair

4

崔斌

DASFAA

PC Co-chair

5

郝丹

ASE 2021

PC Co-Chair

6

郝丹

ASE 2020

Demo Track Co-Chair

7

郝丹

FSE 2020

PC

8

郝丹

ICSE 2020

Program Board Member

9

郝丹

ISSTA 2020

PC

10

郝丹

ISSTA 2021

PC

11

郝丹

ICST 2020

PC

12

郝丹

ICSME 2020

Publicity Co-Chair

13

郝丹

SPLC

Steering Committee Member

14

胡振江

ACM PEPM 2020程序委员会

共同主席

15

熊英飞

ICSE 2020

PC

16

熊英飞

ESEC/FSE 2020

PC

17

金芝

IEEE World Congress of Services 2020

PC Chair-in-Chief

18

孙艳春

IEEE ICWS 2020

PC member

19

孙艳春

IEEE SCC 2020

PC member

20

孙艳春

SEKE 2020

PC member

21

孙艳春

ACM TURC 2020

PC member

22

孙艳春

IEEE SmartDataServices

PC member

23

孙艳春

ICSS

PC member

24

周明辉

ICSE 2020

PC

25

周明辉

ASE 2020

PC

26

周明辉

ESEM 2020

PC

27

周明辉

ESEC/FSE 2020 V&R

PC

28

周明辉

SANER 2020

PC Co-chair

29

刘譞哲

WWW 2020

PC   member

30

刘譞哲

KDD 2020

PC   member

31

刘譞哲

SIGIR 2020

PC   member

32

刘譞哲

ICWS 2020

PC   member

33

刘譞哲

IEEE EDGE 2020

PC   Chair

34

黄罡

IEEE CLOUD 2020

General   chair

35

吴中海

AAAI2020

PC Member

36

赵海燕

IEEE   Service Congress 2020

Registration Co-Chairs

37

赵海燕

SEAMS2020

Publicity Co-Chairs

38

赵海燕

International Conference   on Model-Driven Engineering and Software Development (MODELSWARD20)

PC

39

赵海燕

Internetware   2020

PC

40

赵海燕

ACM TURC 2020: ACM Turing   Celebration Conference - China 2020

PC

41

王乐业

IEEE Services 2020

Local co-chair

42

王乐业

AAAI 2021

PC 委员

43

王乐业

IJCAI 2020

PC 委员

44

王乐业

CIKM 2020

PC 委员

45

王平

AAAI   2020

PC   委员

46

张路

35th IEEE/ACM International Conference   on Automated Software Engineering (ASE 2020)

PC Member

47

张路

ACM Joint Meeting on European Software   Engineering Conference and Symposium on the Foundations of Software   Engineering (ESEC/FSE 2021)

PC Member

48

张路

35th AAAI Conference on Artificial   Intelligence (AAAI-21)

PC Member

49

郭耀

AAAI 2021

PC Member

50

郭耀

MobileCloud 2020

PC Member

51

郭耀

TrustCom 2020

PC Member

52

谢涛

MSR 2020大会最有影响力论文奖评选委员会

共同主席


           七、国内期刊任职

任职人

期刊名称

任职类型

1

崔斌

软件学报

编委

2

崔斌

中国科学-信息

编委

3

郝丹

计算机科学

特邀编辑

4

胡振江

《国家科学评论》

编委

5

胡振江

《中国科学》

编委

6

胡振江

《中国信息:信息科学》

编委

7

金芝

软件学报

执行主编

8

金芝

计算机学报

副主编

9

吴中海

电子学报

编委

10

张路

软件学报

编委

11

张路

计算机研究与发展

编委

12

张路

中国科学

编委


           八、国内会议任职

任职人

会议名称

任职类型

1

金芝

18届全国软件与应用学术会议 (NASAC2020)

大会共同主席

2

孙艳春

第十一届中国计算机学会服务计算学术会议(NCSC   2020)

程序委员会委员

3

赵海燕

NASAC全国软件与应用学术会议与FMAC全国形式化方法与应用会议(Chinasoft   2020)

PC

4

王乐业

第十六届全国普适计算学术会议(PCC 2020

程序委员会副主席

5

张大庆

第十六届和谐人机环境联合会议(HHME 2020

指导委员会成员


           九、国内外学术机构任职

姓名

任职机构或组织

职务

1

崔斌

VLDB Endowment

理事

2

崔斌

中国计算机学会数据库专委会

秘书长

3

胡振江

日本国立信息学研究所

特任教授

4

胡振江

日本学术振兴会(JSPS

基础研究S(类似于中国的973项目)的首席

5

胡振江

日本先端科学技术大学

客座教授

6

孙艳春

CCF 软件工程专委会

委员

7

孙艳春

CCF 服务计算专委会

委员

8

孙艳春

ACM SIGCSE China

理事

9

王腾蛟

国家统计专家咨询委员会

委员

10

王腾蛟

国家外交部大数据专委会

委员

11

王腾蛟

中国计算机学会数据库专委会

委员

12

王腾蛟

中国计算机学会大数据专家委员会

委员

13

王腾蛟

中国软件行业协会数据与智能专委会

委员

14

陈薇

中国计算机学会大数据专家委员会

通讯委员

15

刘譞哲

IEEE服务计算技术委员会(TCSVC

副主席

16

刘譞哲

CCF学术工作委员会

秘书、委员

17

刘譞哲

服务计算专委会

副秘书长

18

谢涛

香港研究资助局协作研究金委员会(2020-2021年)

成员

19

谢涛

香港研究资助局工程学学科小组(合作研究计划)

成员

20

谢涛

ACM-W Rising Star奖评奖委员会(2020-2021年)

成员

21

谢涛

IEEE Software最佳论文奖评奖委员会(2019至今)

委员