智能化软件开发微访谈·第三十三期 智能CPS系统可信构造·活动预告

CodeWisdom

智能CPS系统可信构造

微访谈 · 活动预告

背景介绍

当前，智能CPS系统已成为智能汽车、智能机器人、智能制造等多个领域的研究热点。智能CPS系统在感知、决策、控制方面通过应用先进的人工智能技术，如深度学习和计算机视觉，使得CPS系统能够更准确感知周围的环境、智能决策、实时控制，大幅度提高了系统的自主性，已成为未来智能化系统发展的重要方向。与此同时，AI模型的不确定性、不可解释性等特性也为系统的架构设计、可信构造和功能验证带来了巨大挑战，尤其是自动驾驶、机器人等安全关键领域。为此，针对这些问题，我们邀请了来自学术界与工业界的专家进行交流，希望促进智能CPS系统领域的进步与创新。

主 持 人

彭鑫

复旦大学

复旦大学计算机科学技术学院副院长、教授，教育部长江学者。中国计算机学会杰出会员、软件工程专委会副主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得NASAC青年软件创新奖，2023年入选上海市东方英才拔尖项目。主要研究方向包括软件智能化开发、云原生与智能化运维、泛在计算软件系统、智能网联汽车基础软件等。研究工作多次获得IEEE Transactions on Software Engineering年度最佳论文奖、ICSM最佳论文奖、ACM SIGSOFT杰出论文奖、IEEE TCSE杰出论文奖等奖项。担任2022年与2023年CCF中国软件大会（ChinaSoft）组织委员会主席与程序委员会共同主席，以及ICSE、FSE、ASE、ISSTA、ICSME、SANER等会议程序委员会委员。

访

谈

嘉

宾

王戟

国防科技大学

国防科技大学计算机学院教授，博士生导师，复杂关键软件环境全国重点实验室副主任。主要从事可信、智能与新兴软件技术研究。曾获国家杰出青年科学基金、国务院政府特殊津贴，入选教育部长江学者特聘教授。曾任国防973项目首席，承担了一批国家和军队重大重点项目。发表论文100余篇，获国家科技进步二等奖。曾担任中国计算机学会形式化方法专委会主任、软件工程专委会副主任，现任中国工程院院刊FITEE执行副主编，软件学报、IEEE Software等刊物编委。

詹乃军

北京大学

北京大学特聘教授，国家杰出青年科学基金获得者。之前为中科院软件所研究员，中科院特聘研究员，中国科学院大学岗位教授，计算机科学国家重点实验室执行主任。分别在南京大学数学系（1989-1993）和南京大学计算机系（1993-1996）获得学士和硕士学位，在中国科学院软件研究所获得博士学位（1997-2000）。研究方向包括：形式化方法，实时、嵌入式、混成系统，程序验证等。任《Journal of Automated Reasoning》、《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《Research Direction: Cyber-Physical Systems》、《软件学报》、《计算机研究与发展》《电子学报》、《前瞻科技》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如形式化方法旗舰会议FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、ICCPS、EMSOFT等）；在著名国际会议和杂志发表论文150多篇，出版专著2部，编著4部等。

秦胜潮

华为

华为形式化验证科学家，费马实验室主任。北京大学学士（1997）和博士（2002）。博士毕业后在新加坡国立大学担任新加坡-MIT联盟项目计算机科学研究员。2005年起在英国高校任教多年，历任讲师、正教授、科研副院长等职。主要研究领域为形式化方法。

孙军

新加坡管理大学

新加坡管理大学（SMU）终生教授。他于2002年和2006年获得新加坡国立大学计算机科学学士和博士学位。他在2010受聘为教授至今。孙军的研究兴趣包括人工智能安全，形式化方法，和软件工程。他发表了一定数量的文章，其中包括多个领域的顶级会议。他发布了多款软件分析工具。他同时是多家公司的资深技术顾问。

董威

国防科技大学

国防科技大学计算机学院教授、博士生导师，现任中国计算机学会形式化方法专委会副主任，先后主持了国家自然科学基金、国家863项目、国防973课题、国防预研和预研基金重点项目等十余项课题，入选教育部新世纪优秀人才支持计划，先后获霍英东基金会高校青年教师奖、中国计算机学会首届NASAC青年软件创新奖等。在国际高水平会议和期刊上发表学术论文80余篇，出版国家级规划教材两部，相关成果成功应用于装备控制、基础软件等关键领域。

陈铭松

华东师范大学

华东师范大学教授、博导，软硬件协同设计与应用技术教育部工程研究中心主任，教育部青年长江学者。2003年与2006年分别获得南京大学计算机科学与技术专业本科与硕士学位，2010年获得美国佛罗里达大学计算机博士学位。主要研究方向为信息物理系统设计自动化、可信智能软硬件协同设计、EDA等。在领域权威会议与期刊上发表论文100余篇，出版英文专著2部、中文教材1本，曾获上海市科技进步特等奖（排名第三）、上海市计算机学会青年科技英才奖、NASAC青年软件创新奖。主持过国家重点研发计划重点专项项目、自然基金委重大研究计划重点项目在内的省部级以上项目多项。目前担任CCF嵌入式专委会副主任。

马雷

东京大学

东京大学副教授(卓越研究员荣誉称号)，兼加拿大阿尔伯塔大学(University of Alberta)副教授，Canada CIFAR AI Chair, Fellow of Amii - Alberta Machine Intelligence Institute.主要研究围绕着高可信软件工程和高可信数据驱动智能系统工程 (Machine Learning System Engineering, Trustworthy AI, AI-CPS)，尤其着眼于数据驱动的智能系统系统的质量，可靠性与安全保证相关研究。任IEEE TSE, Springer AUSE, IEEE ToR等多个国际期刊副主编。他的研究工作发表在软件工程，人工智能，安全与控制相关领域会议与期刊（如:TSE, TOSEM, ICSE, FSE, ASE, CAV, ICML, NeurIPS, ICLR, CVPR, ECCV, ACM CHI, MM, TDSC, Usenix Security, ICRA等), 4次获得软件领域国际顶会ACM杰出论文奖(ASE 2015, ASE 2018, ASE 2019, FSE 2023), 2022年度IEEE Transaction on Software Engineering最佳论文奖等10余个学术奖项，多个先关研究成果被业界采用，如: 英伟达, 富士通，三菱重工，网易游戏，Tier IV等。详细信息请参见个人主页 https://www.malei.org

杨志斌

南京航空航天大学

南京航空航天大学计算机学院教授、博士生导师，担任软件科学与工程系副主任。长期从事安全关键软件开发与验证方法研究，主要研究方向包括：模型驱动开发方法、形式化验证和安全关键智能软件。2012年2月在北京航空航天大学计算机学院获博士学位，2012年4月－2014年12月在法国图卢兹大学从事博士后研究，2015年3月到南航工作。在国内外重要期刊和会议发表论文70余篇，申请专利33项，其中授权16项。中国计算机学会形式化方法专委委员、中国计算机学会抗恶劣环境计算机专委委员、中国航空学会计算与仿真分会委员、航空电子3A基础架构标准委员会委员。获2022年度国防科技进步二等奖（第一完成人）、中国航空工业集团科技进步二等奖、江苏省教学成果二等奖等奖项。

冯洋

南京大学

南京大学助理研究员，加州大学欧文分校软件工程专业博士。主要研究方向为软件分析与测试，具体研究课题包括复杂软件系统的质量保障与优化技术，以及基于程序设计语言特性的软件质量工程等。近年来在软件工程领域的ICSE、FSE、ASE、ISSTA、TSE、TOSEM、ICST、中国科学，软件学报等期刊与会议发表学术论文30余篇，在ASE-2022，FSE-2023等知名学术会议获杰出论文奖多次；申请发明专利多项，部分专利成果已经在百度、阿里、华为等知名软件公司转化；担任多个期刊审稿人及国际会议程序委员会成员。

董震

复旦大学

青年副研究员，复旦大学计算机学院，中国计算机学会（CCF）软件工程专业委员会执行委员。致力于智能化测试、AI-CPS测试验证研究，先后参与完成多个国际联合项目，包括卡巴斯基公司、新加坡电信公司、澳大利亚蒙纳士大学等与新加坡国立大学的合作项目，在ICSE、FSE、ASE、ISSTA、NeurIPS、IJCAI等国际会议发表30余篇学术论文，并获得ICSE'20 杰出论文、AsiaCCS’21 最佳论文(1/370)等多个奖项。同时，担任多个国际期刊审稿人以及国际会议程序委员会成员，并获得ASE’22杰出评审、TOSEM杰出评审等称号。

曹嘉伦

香港科技大学

香港科技大学研究助理教授，主要研究领域包括人工智能软件测试、智能软件工程、智能形式化验证、漏洞检测等方向。博士毕业于香港科技大学，师从Shing-Chi Cheung教授。硕士毕业于中国科学院软件研究所国家重点实验室。在领域顶级会议如ICSE、ESEC/FSE、CAV、ASE、USENIX Security和顶级期刊如TOSEM等发表论文共20余篇，同时担任多个顶级期刊如TSE、TOSEM等的审稿人，也是顶级会议如ICSE等的评审委员会成员。

时间安排

❖

时间：2024年8月16日（周五）

           晚上 19:00-21:00

❖

❖

地点：“智能化软件开发沙龙”微信群

主持人：彭鑫

欢迎关注CodeWisdom，Codewisdom平台由复旦大学软件工程实验室运营，提供智能化软件开发平台及线上沙龙相关资讯，关注可了解更多智能化软件开发的最新消息~