“智能化软件工程与系统”高端论坛

2024年10月30日 13:30-17:30 

复旦大学江湾校区交叉学科二号楼E1006

主持人：彭鑫 

复旦大学计算机科学技术学院副院长、教授

1

神经符号系统——非确定性管理的视角

报告摘要：

报告人简介：

马晓星，CCF理事、软件工程专委主任，南京大学教授、计算机学院院长。主要研究方向包括智能软件工程、软件自适应技术、软件体系结构与中间件等。研究工作得到国家杰出青年科学基金、国家973/863项目课题、国家自然科学基金重大项目课题等项目资助；发表学术论文百余篇，曾获中创软件人才奖、两次国家科技进步二等奖（分别为第2、第4完成人）等。

2

关于体系化开源人才培养的思考与实践

报告摘要：

报告人简介：

武延军，中国科学院软件研究所副所长、总工程师，研究员、博士生导师，CCF杰出会员、开源发展委员会执行委员。担任OpenHarmony社区TSC委员、openEuler社区常务委员、开放原子基金会开源安全委员会主席、中电标协RISC-V工委会轮值会长。主持多项基础软件领域国家级重大任务。当前主要研究方向是开源软件供应链与RISC-V基础软件。

3

动态数据流分析研究进展与应用

报告摘要：

报告人简介：

苏璞睿，中国科学院软件研究所研究员，博士生导师，网络攻防国际学术会议（RAID 2019）大会主席，国家重点研发计划项目首席科学家，国家自然科学基金重点项目负责人，《Security and Safety》等学术期刊编委，主要从事软件动态分析、软件漏洞防治等研究，成果曾发表于ACM CCS、IEEE S&P、USENIX Sec、NDSS、SOSP等国际学术会议和期刊，成果曾获中国通信学会科学技术一等荣誉。

4

面向大模型算力基础设施的系统软件:

思考与实践

报告摘要：

报告人简介：

刘譞哲，北京大学计算机学院长聘教授，北京大学博雅特聘教授，北京大学软件研究所副所长，国家杰出青年科学基金获得者，ACM杰出科学家。主要研究方向为系统软件，近期主要关注大模型系统和无服务器计算系统等。在SOSP/OSDI/ASPLOS/SIGCOMM/NSDI/ICSE/FSE/WWW等发表论文80 余篇，获中国首个WWW最佳论文奖、《Science China Information Science》5年高影响力论文奖等10余次国际期刊/会议优秀论文荣誉。曾获国家技术发明一等奖、教育部“青年科学奖”、IEEE TCSC可扩展计算职业中期卓越研究奖、北京市教学名师，北京大学“十佳教师”等；主持多项国家和省部级科研项目；担任IEEE TMC、《中国科学·信息科学》等期刊的Associate Editor和多个国际会议程序委员会主席/委员等。