百答论坛（Ask Me Anything）

NASAC/FMAC

“百答论坛”为此次中国软件大会新设立的论坛。受 ICSE 2020 Ask Me Anything启发，本论坛将邀请软件领域知名专家、学者为相关领域的参会人员进行不同方面的答疑解惑。答疑的内容或锁定为若干具体主题，或为开放式题目。

“百答论坛”面向所有已正式注册的现场参会及线上参会观众，旨在为全国从事软件行业的大专院校本科生、研究生、博士后，高校教师与科研院所的研究人员，企业界的相关人士及其他IT从业者，创建一个与业界/学术界专家面对面自由交流的平台。

论坛组织委员会（主持人）：

谢   涛（北京大学）

谢晓园（武汉大学）

议程安排：

时 间：2020年11月20日14:00-17:30

地 点：重庆富力假日酒店 宴会厅5

论坛议程：

嘉宾简介：

1. 陈海波（上海交通大学）

简介：陈海波，上海交通大学特聘教授，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家杰出青年基金获得者、ACM杰出科学家。主要研究领域为操作系统和系统安全。曾获教育部技术发明一等奖（第一完成人）、CCF青年科学家奖、全国优秀博士学位论文奖等。目前担任ACM SIGOPS ChinaSys主席、CCF系统软件专委会副主任、ACM旗舰杂志《Communications of the ACM》中国首位编委与Special Sections领域共同主席、《ACM Transactions on Storage》编委。曾任ACM SOSP 2017年大会共同主席、ACM CCS 2018系统安全领域主席、ACM SIGSAC奖励委员会委员。按照csrankings.org的统计，其在操作系统领域近5年（2015-2019）发表的高水平会议（SOSP/OSDI，EuroSys，Usenix ATC和FAST）论文数居世界第一。

2. 郝丹（北京大学）

简介：郝丹，北京大学信息科学技术学院计算机系长聘副教授，2016年度“长江学者奖励计划”青年学者，CCF杰出会员，主要从事软件测试等方面的研究，累计在顶级学术会议期刊上发表代表性论文40余篇，三次获得ACM SIGSOFT Distinguished Paper Award。研究成果投入到航天、电力、税务、搜索等软件系统的测试过程。郝丹博士先后主持和承担了多项国家级科研项目，包括国家自然科学基金（优秀青年科学家项目）、国家自然科学基金（面上项目）等。担任了国际会议ASE 2021的PC Co-Chair，SPLC 2018的General Co-Chair和SPLC的Steering Committee Member等，参与国际会议ISSTA 2019、ASE 2019、ASE 2020、ICSE 2022等组织委员会，国际会议ICSE 2018/ 2019、ASE 2018/2019，FSE 2020，ISSTA 2020/2021等程序委员会委员，以及国际期刊TSE、ESEM和STVR的Associate Editor。

3. 彭鑫（复旦大学）

简介：彭鑫，复旦大学计算机科学技术学院副院长、软件学院副院长、教授、博士生导师。中国计算机学会软件工程专委会副主任，上海市计算机学会青工委主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》编委（Associate Editor），《软件学报》编委，《Empirical Software Engineering》编委，IEEE软件维护与演化国际会议（ICSME）执委（2017-2020）。2016年获得NASAC青年软件创新奖。主要研究方向包括软件开发大数据分析、智能化软件开发、云原生与智能化运维、泛在计算软件系统等。研究工作获得ICSM 2011最佳论文奖、ACM SIGSOFT杰出论文奖（ASE 2018）、IEEE TCSE杰出论文奖（ICSME 2018、ICSME 2019、ICSME 2020）、IEEE Transactions on Software Engineering年度最佳论文奖（2018）。担任ICGSE 2014及ICSME 2017组委会主席、Internetware 2017及ICSR 2019程序委员会主席，以及ICSE、FSE、ASE、ICSME、SANER、RE等会议程序委员会委员。带领复旦大学CodeWisdom研究团队开展软件开发大数据分析平台以及智能化软件开发平台的研究与实践，研究成果在多家大型企业进行了实践应用。

答疑主题：

* 博士（生）研究能力的培养（主要问者人群：学生、科研人员）

* 青年科研人员的职场发展 （主要问者人群：学生、科研人员）

* 产学研合作、做产生高产业影响的研究（主要问者人群：学生、科研人员、企业人员）

4. 谢涛（北京大学）

简介：谢涛，北京大学计算机科学技术系讲席教授，高可信软件技术教育部重点实验室（北京大学）副主任，美国科学促进会（AAAS）会士，电气电子工程师学会（IEEE）会士，美国计算机协会（ACM）杰出科学家，中国计算机学会（CCF）杰出会员。曾获国家自然科学基金委海外杰出青年科学基金以及其延续资助，科学探索奖，美国NSF Faculty CAREER Award，IEEE计算机协会软件工程技术委员会（TCSE）杰出服务奖等。担任CCF软件工程专委会副主任，CCF-IEEE CS青年科学家奖评奖分委员会主席，中国计算机大会（CNCC 2020）程序委员会主席，软件工程旗舰国际会议ICSE 2021程序委员会共同主席，《软件测试、验证与可靠性（STVR）》Wiley期刊联合主编等。主要研究领域包括软件工程，系统软件，软件安全。

答疑主题：

* 博士（生）研究能力的培养（主要问者人群：学生、科研人员）

* 青年科研人员的职场发展 （主要问者人群：学生、科研人员）

* 产学研合作、做产生高产业影响的研究（主要问者人群：学生、科研人员、企业人员）

* 提升计算机界的多元化（主要问者人群：女性计算机学生和从业人员）

* 读不读博、出不出国读博（主要问者人群：学生）

5. 张冬梅（微软亚洲研究院）

简介：张冬梅博士现任微软亚洲研究院副院长，微软杰出科学家（Distinguished Scientist of Microsoft），从事和领导数据、知识和智能（Data, Knowledge, Intelligence）领域的研究工作，研究方向包括大数据分析、知识计算、数据可视化以及软件工程等。张博士带领团队在进行前沿研究的同时，与微软的众多产品部门进行了广泛而深入的合作。多年来，团队持续将研究和创新成果成功转移到了微软的多个核心产品中，产生了重要的影响。

答疑主题：

* Working in an industry research lab

* SE research and making practice impact

* Software Analytics, data and knowledge

* Working on product development

* Career development

6. 詹乃军（中科院软件所）

简介：詹乃军，1971年5月生，中科院软件所研究员，中科院特聘研究员，中国科学院大学岗位教授，博士生导师，计算机科学国家重点实验室副主任，国家杰出青年科学基金获得者。1993年在南京大学数学系获得学士学位（1989-1993），1996在南京大学计算机系获得硕士学位（1993-1996），2000年在中国科学院软件研究所获得博士学位（1997-2000）。研究方向包括：形式化方法，实时、嵌入式、混成系统，并发理论，程序验证，对象和构件系统理论基础等。任《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《软件学报》、《计算机研究与发展》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、EMSOFT等）；在著名国际会议和杂志发表论文100多篇，出版专著2部。

答疑主题：

* 形式化方法

* 程序验证

* 信息物理融合系统等