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平台由复旦大学软件工程实验室运营,提供智能化软件开发平台及线上沙龙相关资讯,关注可了解更多智能化软件开发的最新消息~