计算机科学与技术一级学科 3：智能化软件工程与系统

原标的目的面向云计较和大数据时代的智能化软件开发、运维和系统收撑的须要，从软件工程、系统软件、软件使用、数字化社会治理等多个方面生长钻研工做。标的目的内包孕复旦大学软件工程实验室、复旦大学并止办理钻研所、复旦大学大众绩效取信息化钻研核心，现有教授及钻研员4名、副教授4名、青年副钻研员2名、高级讲师1名、讲师1名、博士后2名。原标的目的的钻研工做获得了科技部重点研发筹划及863名目、作做科学基金项宗旨撑持，正在国际顶级学术期刊及集会上颁发了一系列钻研论文并多次与得良好论文奖，相关软件平台及系统正在多家大型企业获得使用。

原标的目的详细招生钻研标的目的蕴含：软件智能化开发、云本生取智能化运维、软件阐明取测试、软件开发数据阐明取发掘、人机物融合泛正在系统、呆板人软件工程、AI系统工程、智能收配系统、智能编译劣化取并止计较、云计较虚拟化取大数据系统、大数据取智能治理等。。

①软件工程实验室（CodeWisdom 团队） 

复旦大学软件工程实验室（暨CodeWisdom钻研团队）隶属计较机科学技术学院，位于复旦大学江湾校区二号交叉学科楼2楼D区，现有教授2名、副教授4、青年副钻研员2名、讲师1名、博士后2名。实验室历久处置惩罚软件工程办法、系统软件技术以及软件技术财产化使用等方面的钻研和理论工做，当前次要环绕数据驱动的软件智能化开发取运维、智能化系统中的软件工程和系统工程问题生长钻研，同时关注于国产根原软件以及智能汽车、聪慧都市、智能呆板人等新型泛正在计较软件系统。

实验室的钻研工做获得了科技部重点研发筹划、科技翻新2030严峻名目及863名目、作做科学基金项宗旨撑持。连年来，实验室曾经正在ICSE、FSE、ISSTA、ASE、CSCW等软件工程规模知名国际集会，IEEE/ACM Transactions等国际期刊，以及中国科学、计较机学报、软件学报、电子学报、计较机钻研取展开等国内权威期刊上颁发了一系列钻研论文，与得ICSM 2011最佳论文奖、ACM SIGSOFT超卓论文奖（ASE 2018/2021、ICPC 2022）、IEEE TCSE超卓论文奖（ICSME 2018/2019/2020、SANER 2023）、IEEE Transactions on Software Engineering年度最佳论文奖（2018）。正在计较机规模公认的国际专业牌名CSRankings上，复旦大学软件工程牌名寰球第12、中国大陆第4。

实验室取家产界生长了宽泛的交流取竞争，并建设了校企竞争结折实验室，软件开发量质取效能阐明、软件智能化开发、云本生取智能化运维、软件供应链安宁、步调阐明取缺陷检测等方面的钻研成绩正在多家企业停行了乐成使用。

实验室网站：

接待关注CodeWisdom微信公寡号

钻研标的目的引见

1）云本生取智能化运维

面向以容器化和微效劳架构为次要特点的云本生软件，建设包孕挪用链路、运止日志、时序目标等的运维大数据阐明体系，真现异样检测、根因定位、架构评价等智能化运维撑持。同时，针对数据库、收配系统等要害根原软件生长配置检查取劣化以及毛病根因定位钻研，为国产根原软件供给技术收撑。

2）软件智能化开发

正在代码及文档等大质软件开发资产上，综折操做大模型、深度进修、知识图谱、数据发掘等人工智能技术撑持软件开发中蕴含需求阐明取设想、代码生成取引荐、代码量质保障等环节。

3）软件开发数据阐明取发掘

关注各种软件开发数据的阐明取发掘，蕴含代码演化阐明、克隆检测取打点、依赖阐明、缺陷阐明等，研制软件开发大数据阐明平台，助力企业软件开发效能阐明取代码量质提升。

4）软件供应链阐明

关注于软件供应链的安宁风险、法令风险取维护风险，通过步调阐明、知识图谱、作做语言办理等技术真现高精度的风险阐明取治理，保障软件的自主可控性。

5）可信AI系统工程

关注于AI系统的可信保障（蕴含可了解性、可评释性、公平性、安宁性、鲁棒性、隐私等），针对智能汽车、对话系统等供给系统级的、全生命周期的、多维度的可信保障，真现MLOps可信平台。

6）软件阐明取测试

关注于步调性量的阐明和构建，基于笼统评释钻研高效可扩展的步调阐明办法，主动判别步调的各类性量，进步软件的可用、牢靠、安宁和可维护性。同时钻研面向挪动使用以及根原软件（如网络通讯和谈、数据库系统等）的主动化测试根原真践取技术。

7）人机物融合泛正在计较

布场所场面向人机物（社会、信息、物理）三元空间的泛正在系统软件，基于软件界说机制接入并打点异量异构资源，基于数据融合感知构建并维护物理环境对应的构造化表征，并为人机物融合泛正在使用供给编程取运止收撑才华，造成云边端协同的开发环境取工具链。

8）呆板人软件工程

面向效劳呆板人、物流讯呆板人以及智能汽车等呆板人使用场景，钻研呆板人步调的主动结构、正在线适应和自主演化技术，从编程的室角连续提升呆板人的智能水和善完成任务才华。另一方面，针对呆板人系统软硬件以及环境密切交互的特点，钻研数据驱动呆板人系统异样检测、缺陷阐明取主动修复等运维保障技术。

导师引见

赵文耘 教授，博导。曾任复旦大学档案馆副馆长、复旦大学校园网打点效劳核心主任。钻研标的目的为软件工程、软件开发工具及其环境、企业使用集成（EAI）。自 1989 年到 2000 年接续加入国家科技攻关名目 “大型软件开发环境青鸟系统” 的研制和开发，为复旦大学所承当的各子专题的次要开发人员或子专题卖力人。该系统获 1998 年国家科技提高二等奖，1996 年电子家产部科技提高特等奖和 1996 年三部卫结折颁布的荣毁证书。加入的 863 名目 “基于 Internet 以构件库为焦点的软件开发平台” 和 “上海构件库及其使用钻研” 划分获与得 2006 年国家科技提高二等奖和 2005 上海市科技提高二等奖。

电子邮箱：wyzhao@fudan.eduss 

彭鑫 教授，博导。复旦大学计较机科学技术学院副院长、软件学院副院长、教授、博士生导师。中国计较机学会（CCF）超卓会员、软件工程专卫会副主任、开源展开卫员会常务卫员，IEEE高级会员，《Journal of Software: EZZZolution and Process》结折主编，《ACM Transactions on Software Engineering and Methodology》编卫，《软件学报》编卫，《Empirical Software Engineering》编卫，IEEE软件维护取演化国际集会（ICSME）执卫（2017-2020）。2016年与得NASAC青年软件翻新奖。次要钻研标的目的蕴含软件开发大数据阐明、软件智能化开发、云本生取智能化运维、人机物融合泛正在计较、呆板人软件工程等。钻研工做与得ICSM 2011最佳论文奖、ACM SIGSOFT超卓论文奖（ASE 2018/2021、ICPC 2022）、IEEE TCSE超卓论文奖（ICSME 2018/2019/2020）、IEEE Transactions on Software Engineering年度最佳论文奖（2018）。带领复旦大学CodeWisdom钻研团队生长软件开发大数据阐明以及软件智能化开发取运维方面的钻研取理论，钻研成绩正在多家大型企业停行了理论使用。

电子邮箱：pengVin@fudan.eduss

吴毅坚 副教授，博导。上海市计较机学会软件工程专卫会副主任。2006 年卒业于复旦大学计较机软件取真践专业，获理学博士学位。后留校任教。历久处置惩罚软件工程真践办法钻研和开发理论，关注于软件维护取演化、软件开发办法取平台等钻研标的目的，次要蕴含代码克隆检测取阐明、软件架构取设想、代码演化阐明、软件开发数据阐明发掘取平台等。做为课题卖力人和技术骨干加入国家 863、973 名目、国家作做科学基金名目、国家重点研发筹划名目、全军共用信息系统拆备公用技术预研名目以及省部级科研名目；承当多个企业竞争项宗旨钻研并生长成绩使用。相关钻研成绩正在软件工程规模的国内外重要集会和期刊上颁发论文 30 余篇，曾获第30届步调了解国际集会（ICPC 2022）ACM SIGSOFT超卓论文奖、上海市教学成绩二等奖。

电子邮箱：wuyijian@fudan.eduss

沈立炜 副教授，硕导。2010 年正在复旦大学计较机科学技术学院计较机软件取真践专业与得博士学位。次要处置惩罚挪动使用阐明取开发、挪动计较取云计较、人机物融合使用方面的钻研工做，做为课题卖力人和技术骨干承当或参取了多项国家 863 名目、国家重点研发筹划取作做科学基金的钻研工做，相关的钻研成绩正在软件工程规模的国内外集会和期刊上颁发论文二十余篇。现次要参取并辅导人机物融合系统软件、泛正在计较取泛正在收配系统、呆板人软件工程等方面的钻研名目取理论名目。

电子邮箱：shenliwei@fudan.eduss

陈碧欢 副教授，博导。22014年卒业于复旦大学计较机科学技术学院，与得理学博士学位。2014年至2017年正在新加坡南洋理工大学计较机科学取工程系任职博士后钻研员。2017年参预复旦大学计较机科学技术学院。目前的次要钻研标的目的是软件供应链阐明、可信AI系统工程。做为课题卖力人和技术骨干加入科技翻新2030-“新一代人工智能”严峻名目、国家作做科学基金名目；承当多项企业竞争名目。至今已正在ICSE、FSE、ASE、ISSTA、S&P、USENIX Security、CCS、TSE、TIFS、TSC等顶级国际集会和期刊上颁发钻研论文30余篇，并与得了2015年上海市钻研生良好成绩（博士学位论文）奖、第24届根原软件工程国际研讨会（FSE2016）和第33届国际主动化软件工程集会（ASE2018）的ACM SIGSOFT超卓论文奖、以登科35届国际软件维护取演化集会（ICSME2020）的IEEE TCSE超卓论文奖。

电子邮箱：bhchen@fudan.eduss

沙朝锋 副教授，硕导。1998年正在西安电子科技大学获使用数学理学学士学位，划分于2001年和2009年正在复旦大学获计较机软件取真践理学硕士和理学博士学位。钻研趣味蕴含数据发掘取呆板进修、强化进修、软工大数据阐明等。曾参取和主持多项国家973、国家863、国家作做科学基金、博士点基金取对外竞争名目，曾与得2007年度教育部高档学校科学技术奖作做科学二等奖（网络环境中的海质数据打点取数据流阐明）。正在国际重要学术集会如AAAI、IJCAI、ICDE、ICDCS、CIKM和国内权威刊物《计较机学报》、《计较机钻研取展开》等上颁发50多篇学术论文。

电子邮箱：cfsha@fudan.eduss

董震 青年副钻研员，硕导。2017年与得德国海德堡大学博士学位，2017年至2021年正在新加坡国立大学计较机系任博后钻研员，努力于软件牢靠性取安宁性相关的钻研，先后参取完成多个国际结折名目，蕴含卡巴斯基公司、新加坡电信公司、澳大利亚蒙纳士大学等取新加坡国立大学的竞争名目，正在ICSE，FSE，ASE，ISSTA等国际集会上颁发钻研论文20余篇，与得ICSE'20 ACM SIGSOFT Distinguished Paper Award、AsiaCCS’21 Best Paper Award (1/370)、TOSEM Distinguished ReZZZiewer等奖项或荣毁称号。

电子邮箱：zhendong@fudan.eduss 

娄一翎 青年副钻研员，硕导。2016年卒业于北京大学信息科学技术学院，获理学学士学位，2021年卒业于北京大学信息科学技术学院，获理学博士学位，2021年至2022年正在美国普渡大学计较机系任博后钻研员。次要钻研标的目的蕴含软件工程、软件测试取阐明、智能化软件开发等。目前已正在ICSE、FSE、ASE、ISSTA、TSE等国际高水平集会和期刊上颁发论文二十余篇，获ACM SIGSOFT Distinguished Paper Award（ISSTA 2019）、IEEE TCSE Distinguished Paper Award（ICSME 2021）。并担当ICSE、FSE、ASE等国际集会步调卫员会卫员。

电子邮箱：yilinglou@fudan.eduss 

李弋 讲师，硕导。钻研标的目的蕴含计较机系统构造、算法设想和阐明和步调阐明等。相关工做颁发正在计较机相关期刊和集会上论文约 20 篇，授予专利多个，获上海市科技提高二等奖 1 项。主持或参取多个科研名目，蕴含国家作做科学基金、核高基严峻专项、863 筹划、国家重点研发筹划、上海市名目、横向名目和重点实验室开放课题等。

电子邮箱：liy@fudan.eduss

皇凯锋 博士后。2022年卒业于复旦大学计较机科学技术学院，与得工学博士学位，同年起正在复旦大学软件工程实验室任职博士后钻研员。钻研标的目的次要为步调阐明、代码不同阐明、开源软件供应链治理等。至今正在ASE、FSE、ICSME、EMSE等国际集会和期刊颁发论文6篇，与得第33届国际主动化软件工程集会（ASE 2018）ACM SIGSOFT超卓论文奖、第36届国际软件维护取演化集会（ICSME 2020）IEEE TCSE 超卓论文奖。

电子邮箱：kaifenghuang@fudan.eduss 

刘明威 博士后。2022年卒业于复旦大学计较机科学技术学院，与得工学博士学位，同年起正在复旦大学软件工程实验室任职博士后钻研员。钻研工做次要关注于软件智能化开发技术，出格是软件开发知识抽与以及基于知识的智能帮助开发技术。针对差异类型的软件开发知识提出了一系列知识抽与和建模技术，并将其使用于API引荐、软件开发问答等使用场景。环绕相关工做正在IEEE Transactions on Software Engineering以及FSE、ASE等软件工程规模顶级集会以及软件学报等国内权威期刊上颁发了论文10篇。另外，正在团队内详细卖力研发了软件开发知识图谱效劳平台以及软件开发问答呆板人Cerebro。相关钻研工做收撑了团队重点研发筹划及作做科学基金名目。同时，环绕相关钻研取多家企业生长了多个竞争名目，多项钻研成绩获得了乐成使用。

电子邮箱：liumingwei@fudan.eduss

②复旦大学并止办理钻研所 

复旦大学并止办理钻研所（复旦大学大数据钻研院根原系统软件钻研所，hts://ppi.fudan.eduss）是以陈右宁院士为团队带头人，其他科研骨干为中坚的科研团队，次要处置惩罚系统软件、体系构造、编译劣化、异构计较和质子计较等标的目的的钻研。团队正在系统软件、软硬件协同和编译劣化等方面生长了历久的钻研和积攒。此中代表性工做蕴含：收配系统内核和文件系统、并止编译劣化技术、高机能系统仿实、动态二进制翻译和质子人工智能等。连年来，已间断正在OSDI、ISCA、Micro、ATC和PPoPP等国际顶级或重要集会和期刊颁发论文60余篇，正在该规模获授权专利30余项；累计正在该规模获国家科技提高一等奖 3项，省部级科技提高一等奖 5 项，三等奖 1 项。

导师引见

张为华 教授，博导。2007年复旦大学获博士学位，博士论文获“计较机学会良好博士论文良好奖”。钻研标的目的为体系构造、系统软件、编译劣化和异构计较等。做为名目卖力人承当国家作做科学基金、科技收撑，上海市科卫重点和核高基等名目。已正在MICRO、DAC、PPoPP和TPDS等高水平国际集会和期刊颁发论文60余篇。钻研工做与得ICPP 2015和 ACA 2014 最佳论文。

电子邮箱：zhangweihua@fudan.eduss 

③复旦大学大众绩效取信息化钻研核心 

复旦大学大众绩效取信息化钻研核心下辖大数据取智能治理钻研标的目的，次要应用大数据阐明、云计较、挪动互联和人工智能等智能信息办理技术，生长社会治理方面的钻研和理论。该标的目的将大数据同社会治理深度融合，通过翻新社会治理思维和方式、劣化社会治理环节和历程，推进社会治理体系和治理才华现代化，真现从经历治理向数据治理、从被动响应型治理向自动预见性治理改动。

摸索“互联网+社会治理”方式，深刻钻研大数据对等、开放和共享等特征，找到其取社会治理翻新之间的内正在联络，有效操做大数据预测社会需求、预判社会问题、删进社会共鸣，提升社会治明智能化水平。

导师引见

牛军钰 钻研员，博导。复旦大学大众绩效取信息化钻研核心主任，大众止政打点取计较机使用双博士后，乡村农业部、科技部、财政部、文化和旅游部、邦畿资源部、税务总局等多个国家部卫和处所政府的绩效打点特聘专家，上海市青联卫员。牛军钰教师连年来承当国家重点根原钻研展开筹划、国家作做科学基金、国家高技术钻研展开筹划等次要科研名目一百余项，正在焦点刊物和重要学术集会上颁发论文 60 余篇。近五年以来，与得国家及省部级奖项 4 项，市级科技提高奖 3 项，教学成绩奖 4 项。正在浦东干部学院等多个党校承当绩效打点方面课程，人民日报特约撰稿人、地方电室台等多家媒体停行过报导。

电子邮箱：jyniu@fudan.eduss

联络人：沈立炜教师， 邮箱：shenliwei@fudan.eduss