尊龙凯时人生就是博·官方(中国)

　　✿ღ★，吕建院士带领团队在软件基础理论✿ღ★、可信软件✿ღ★、智能化软件开发等方向持续突破✿ღ★，既夯实了学科的核心竞争力✿ღ★，也带动了青年学者的成长✿ღ★。

　　CSrankings 以 “高校教师在顶会的论文发表量” 为核心指标✿ღ★，是全球计算机领域认可度较高的机构排名之一✿ღ★。此次 2026 年榜单显示尊龙凯时✿ღ★，南京大学软件工程领域的“Count”（成果积分）与 “Faculty”（参与教师数）分别达到10.2与25✿ღ★，大幅领先于第二名浙江大学（9.0 分✿ღ★、23 名教师）✿ღ★，体现了其在学术产出与团队规模上的双重优势✿ღ★。

　　从榜单整体格局看✿ღ★，国内高校表现亮眼✿ღ★：除南京大学外✿ღ★，浙江大学以 9.0 分排名第二✿ღ★，中山大学以 7.0 分位列第三✿ღ★；卡内基梅隆大学以 5.7 分位居第四✿ღ★，新加坡管理大学以 5.2 分排在第五✿ღ★。此外✿ღ★，清华大学✿ღ★、复旦大学也进入前 15 名✿ღ★，展现出中国高校在软件工程领域的集体竞争力✿ღ★。

　　作为国内软件工程学科的 “标杆”✿ღ★，南大软件工程长期聚焦于软件理论✿ღ★、系统开发✿ღ★、智能化软件等方向✿ღ★，近年在开源生态✿ღ★、AI 辅助软件开发等前沿领域的顶会论文数量持续攀升✿ღ★，也让其在国际学术圈的影响力进一步巩固✿ღ★。

　　1✿ღ★、吕建✿ღ★，中国科学院院士✿ღ★，南京大学原校长✿ღ★，现任南京大学计算机学院✿ღ★、博士生导师✿ღ★，国家杰出青年科学基金获得者✿ღ★、教育部长江学者✿ღ★、教育部创新团队和国家自然科学基金委创新研究群体的带头人✿ღ★。先后担任国家 863高技术计划信息领域计算机软硬件技术主题专家组成员✿ღ★、副组长（十五）✿ღ★，国家 863高技术计划信息领域专家组成员（十一五）✿ღ★，国家 973计划咨询专家组成员✿ღ★，国家 “核高基 ”科技重大专项总体专家组专家✿ღ★，国家自然科学基金委信息学部专家咨询委员会委员✿ღ★，国家自然科学基金委员会 “高可信软件基础研究 ”重大研究计划项目专家组成员✿ღ★，国务院学位委员会计算机学科评议组成员✿ღ★，中国计算机学会副理事长✿ღ★，中国计算机学会软件工程专业委员会主任✿ღ★，中国计算机学会系统软件专业委员会主任✿ღ★；以及一系列国内外学术会议的大会（共同）主席和程序委员会委员与一系列国内外学术刊物编委等✿ღ★。

　　主要研究方向包括新型软件方法学✿ღ★、软件形式化与自动化✿ღ★、软件中间件系统等✿ღ★。近年来✿ღ★，以面向 Internet 与人机物融合的新型软件方法学与技术体系为重大科学问题导向✿ღ★，致力于基础方法学的拓展深化和新型方法学的开拓创新✿ღ★。承担了国家 973 计划项目✿ღ★、 863 计划项目✿ღ★、国家自然科学基金创新群体项目✿ღ★、国家自然科学基金委重大研究计划集成项目✿ღ★、国家自然科学基金重点项目✿ღ★、国家自然科学基金杰出青年项目等✿ღ★。在《中国科学》✿ღ★、 IEEE TSE/TC/TPDS/TKDE/TMC✿ღ★、 CACM✿ღ★、 JSS✿ღ★、 IST无颜之月带翻译樱花视频✿ღ★、 ICSE✿ღ★、 FSE✿ღ★、 ASE✿ღ★、 KDD✿ღ★、 Ubicomp✿ღ★、 重要国际刊物与会议上发表论文多篇✿ღ★，主持研制了多个新型软件系统与平台✿ღ★，研究成果得到国内外同行的广泛关注与认可✿ღ★。获教育部自然科学和技术发明一等奖✿ღ★、国家科技进步二等奖✿ღ★、何梁何利科学与技术进步奖等✿ღ★。带领计算机软件新技术国家重点实验室连续两次获评信息领域优秀国家重点实验室 ;带领 “面向 Internet 的软件方法与技术研究 ”创新群体获国家自然科学基金委连续三期滚动支持✿ღ★。

　　2✿ღ★、马晓星✿ღ★，国家杰青✿ღ★，现任南京大学计算机学院院长✿ღ★、博士生导师✿ღ★，并任南京大学计算机软件研究所副所长✿ღ★。1993年进入南京大学计算机科学与技术系学习✿ღ★，于1997年尊龙凯时✿ღ★、2000年和2003年分别获得学士✿ღ★、硕士和博士学位✿ღ★。其研究领域为计算机软件技术✿ღ★，近年来工作重点包括智能软件工程✿ღ★、自适应软件系统✿ღ★、人机物融合软件系统等面向开放环境的软件新技术✿ღ★。主持承担包括国家杰出青年科学基金项目✿ღ★、国家自然科学基金重大项目课题✿ღ★、国家重大基础研究计划（973）课题✿ღ★、国家高技术研究发展计划（863）课题在内的多项国家级科研项目✿ღ★。研制开发了Artemis✿ღ★、ConUp✿ღ★、Javelus等软件自适应和在线演化支撑平台原型系统✿ღ★。在ICSE✿ღ★、FSE✿ღ★、ASE等国际会议和IEEE TSE✿ღ★、TC✿ღ★、TPDS✿ღ★、TSC以及CACM✿ღ★、IST✿ღ★、JSS和《中国科学》✿ღ★、《软件学报》等国内外期刊发表学术论文百余篇✿ღ★。曾任ICSE✿ღ★、ICSME✿ღ★、SEAMS等国际学术会议程序委员✿ღ★、《软件学报》责任编委✿ღ★、《中国科学✿ღ★：信息科学》青年编委✿ღ★。曾两次获得国家科技进步二等奖（2006年度/第二完成人✿ღ★，2011年度/第四完成人）✿ღ★，两次获得教育部一等奖（2004年度/第三完成人✿ღ★，2010年度/第二完成人）✿ღ★；还曾获2009年度中创软件人才奖✿ღ★、2015年度东软－NASAC青年软件创新奖等✿ღ★。

　　3✿ღ★、李宣东✿ღ★，国家杰青✿ღ★，现任南京大学智能软件技术学院院长✿ღ★，南京大学计算机学院教授✿ღ★，博士生导师✿ღ★。曾任南京大学计算机科学与技术系主任✿ღ★、软件学院院长✿ღ★，江苏省计算机学会理事长✿ღ★、中国计算机学会系统软件专业委员会主任✿ღ★，国家自然科学基金委员会信息学部专家咨询委员会委员✿ღ★，《软件学报》✿ღ★、《计算机研究与发展》✿ღ★、《信息安全学报》编委✿ღ★；曾在美国 Carnegie Mellon University✿ღ★、芬兰 Turku Centre for Computer Science（ TUCS）和联合国大学澳门国际软件技术研究所（ UNU/IIST）访问和合作研究✿ღ★。主要研究方向为软件工程✿ღ★，近年来的研究重点为可信软件方法与技术✿ღ★，包括软件建模与分析✿ღ★、软件测试与验证✿ღ★。先后获得 1998年度教育部科技进步二等奖✿ღ★、 2002年教育部自然科学二等奖✿ღ★、 2011年国家科技进步二等奖✿ღ★。 1998年获中创软件人才奖✿ღ★， 2002年入选教育部跨世纪人才培养计划和江苏省青蓝工程学术带头人培养计划✿ღ★， 2002年被教育部表彰为高等学校优秀骨干教师✿ღ★， 2004年获国家杰出青年科学基金资助✿ღ★。

　　4✿ღ★、曹春✿ღ★，现任南京大学计算机学院教授✿ღ★、博导✿ღ★。1996年进入南京大学计算机科学与技术系学习✿ღ★，于2000年✿ღ★、2007年分别获得学士和博士学位✿ღ★。主持承担包括国家高技术研究发展计划（863）课题✿ღ★、国家重点研发计划课题✿ღ★、国家“核高基”科技重大专项课题等多项国家级科研任务✿ღ★，并目作为骨干人员参与了多项国家级和省部级科研项目✿ღ★。在ICSE✿ღ★、ASE✿ღ★、ICSME等国际会议和IEEE TSE✿ღ★、IST✿ღ★、JSS等国际期刊和《中国科学》等国内一级学报发表学术论文50余篇✿ღ★。获 2003年度教育部“提名国家科学技术奖”一等奖✿ღ★，成果“网构软件技术✿ღ★、平台与应用”获教育 部技术发明一等奖和国家科学技术进步二等奖✿ღ★。研究领域为计算机软件技术✿ღ★，近年来工作重点包括网构软件✿ღ★、软件动态更新和面向云计算✿ღ★、大数据✿ღ★、机器学习的软件平台技术✿ღ★。

　　5✿ღ★、许畅无颜之月带翻译樱花视频✿ღ★，长江学者✿ღ★，现任南京大学计算机学院教授✿ღ★、博士生导师✿ღ★。于2010年入选教育部新世纪优秀人才支持计划✿ღ★，2011年获得国家科学技术进步二等奖尊龙凯时✿ღ★，2012年获得中创软件人才奖✿ღ★，2013年入选南京大学登峰人才支持计划✿ღ★，2014年获得南京大学北京银行“京”英奖教金和ACM南京分会新星奖✿ღ★，2015年获得中国计算机学会CCF青年科学家奖✿ღ★，2017年获得南京大学杜厦奖教金和计算机学科美德之星奖励✿ღ★，2021年入选教育部“长江学者奖励计划”特聘教授✿ღ★；于2000年在中国科学技术大学获得学士学位✿ღ★，2003年在中国科学院软件研究所获得硕士学位✿ღ★，2008年在香港科技大学获得博士学位✿ღ★；2008至2010年期间在香港科技大学计算机科学及工程学系担任研究助理教授✿ღ★，自2010年9月加入南京大学计算机软件新技术国家重点实验室和计算机科学与技术系✿ღ★，担任副教授✿ღ★，2015年提升为教授✿ღ★。主持和参与了多项国家和省部级的科研项目✿ღ★，包括国家重点研发计划✿ღ★、973✿ღ★、863✿ღ★、自然基金（创新群体✿ღ★、重大✿ღ★、重点✿ღ★、中美软件合作✿ღ★、面上和青年）✿ღ★、以及教育部新世纪优秀人才支持计划等项目✿ღ★；研究兴趣包括大数据软件工程✿ღ★、智能软件测试与分析✿ღ★、以及自适应与自控软件系统✿ღ★。他发表了180余篇学术论文✿ღ★，工作被包括TOSEM✿ღ★、TSE✿ღ★、ESEC/FSE✿ღ★、ICSE和ASE等在内的国际顶级期刊与会议（CCF-A类）所收录✿ღ★，获得了四次ACM SIGSOFT杰出论文奖（ICSE 2014✿ღ★、ASE 2018和ICSE 2021两次）✿ღ★、三次最佳论文奖（APSEC 2014✿ღ★、ICSE 2021和SOSP 2023）✿ღ★、以及一次最佳论文提名奖（ISSRE 2022）✿ღ★；组织了MIDDLEWARE 2013 Doctoral Symposium✿ღ★、FSE 2014 SEES Symposium✿ღ★、COMPSAC 2017 SETA Symposium和INTERNETWARE 2018✿ღ★，服务于ESEC/FSE✿ღ★、ICSE和ASE等程序委员会尊龙凯时✿ღ★，担任了Journal of Software: Evolution and Process✿ღ★、Journal of Computer Science and Technology✿ღ★、Frontiers of Computer Science和《计算机科学》等期刊编委工作✿ღ★、以及教育部101计划课程建设组专家工作✿ღ★。

　　6✿ღ★、潘敏学✿ღ★，万人青拔✿ღ★，南京大学教授✿ღ★，博导✿ღ★。江苏省“青蓝工程”✿ღ★、南京大学“紫金学者”人才计划✿ღ★；获NASAC青年软件创新奖（2023）✿ღ★、ACM SIGSOFT杰出论文奖（ISSTA 2020）✿ღ★。研究工作围绕复杂软件系统的可信保障问题✿ღ★，集中在软件建模与验证✿ღ★、程序分析与测试✿ღ★、智能软件工程等领域✿ღ★；主持及参与国家重点研发计划课题✿ღ★、国家自然科学基金✿ღ★、江苏省重点项目等多个科技项目和华为✿ღ★、腾讯等企业技术攻关项目✿ღ★；在TOSEM✿ღ★、TSE✿ღ★、ISSTA✿ღ★、ICSE✿ღ★、FSE✿ღ★、ASE等国际顶级期刊会议及中国科学✿ღ★、软件学报等国内优秀期刊发表论文60余篇✿ღ★，获得发明专利与知识产权30余项✿ღ★，4项实现成果转化✿ღ★。

　　7✿ღ★、王林章✿ღ★，国家高层次人才特殊支持计划科技创新领军人才✿ღ★、中国计算机学会会士✿ღ★，现为南京大学计算机学院教授✿ღ★、博导✿ღ★， 2005年2月毕业于南京大学计算机科学与技术系✿ღ★，获博士学位✿ღ★，主要研究方向为软件工程✿ღ★、模型驱动软件测试与验证技术✿ღ★、自动化软件测试工具研究✿ღ★； 2005年3月至2006年3月在美国德斯大学达拉斯分析计算机系从事博士后研究✿ღ★，2006年4月开始任职于南京大学计算机科学与技术系✿ღ★；目前主持一项国家自然科学基金项目✿ღ★，主持完成一项国家自然科学基金项目和一项江苏省自然科学基金项目✿ღ★，参加了包括973项目✿ღ★、863项目✿ღ★、核高基项目和国家自然科学基金项目在内的多项科研项目✿ღ★。

　　8✿ღ★、张天✿ღ★，南京大学计算机学院教授✿ღ★、博士生导师✿ღ★，CCF形式化方法专委会委员✿ღ★，2015年任中国计算机学会青年学者论坛（CCF YOCSEF）南京主席✿ღ★。2009年获南京大学博士学位✿ღ★。研究工作主要涉及为模型驱动软件开发提供灵活的建模和转换机制以及可靠的形式化支撑✿ღ★。研究成果发表在国际知名会议和期刊70余篇（CCF-A和B类会议/期刊各10余篇）✿ღ★，相关研究成果申请发明专利30余项✿ღ★。多项研究成果已在国内如华为✿ღ★、腾讯等多家领头企业中投入使用✿ღ★，知识产权转让费用100多万✿ღ★。

　　9✿ღ★、卜磊✿ღ★，万人青拔✿ღ★，教授✿ღ★，博士生导师✿ღ★，现任南京大学软件学院副院长✿ღ★， CCF(中国计算机学会） 系统软件专委秘书长✿ღ★。2022年度CCF-IEEE CS青年科学家奖✿ღ★、高校计算机专业优秀教师奖励计划✿ღ★、中创软件人才奖✿ღ★、NASAC青年软件创新奖✿ღ★、MSRA铸星计划等2010年在南京大学计算机与科学技术系获取博士学位✿ღ★；曾在CMU✿ღ★、MSRA等科研机构进行访学与合作研究✿ღ★。主要研究领域涉及软件工程✿ღ★、可信软件✿ღ★、形式化方法✿ღ★，研究工作集中在模型检验技术✿ღ★、实时混成系统✿ღ★、信息物理融合系统等方面✿ღ★，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》✿ღ★、TCAD✿ღ★、TC✿ღ★、TDSC✿ღ★、TCPS✿ღ★、TPDS✿ღ★、RTSS✿ღ★、ICSE✿ღ★、ISSTA✿ღ★、ASE等上✿ღ★。

　　10✿ღ★、陶先平✿ღ★，南京大学教授✿ღ★、博士生导师✿ღ★。兼任教育部大学计算机课程教学指导委员会委员✿ღ★、江苏省计算机学会教育工委主任✿ღ★。曾任南京大学计算机科学与技术系副主任✿ღ★。国防科大本科✿ღ★，南大硕士及博士✿ღ★。研究兴趣为自适应软件工程✿ღ★，群智认知✿ღ★，普适计算技术和软件中间件技术✿ღ★。工作期间✿ღ★，主持或参与了国家自然科学基金重点及面上项目✿ღ★、973项目✿ღ★、863项目（含目标导向类和探索导向类项目）✿ღ★、国家八五✿ღ★、九五✿ღ★、十五攻关项目✿ღ★、国家发改委高新技术产业化项目✿ღ★、江苏省自然科学基金重点及一般项目✿ღ★、江苏省高技术等项目等二十余项✿ღ★，均圆满完成了相关任务并获得好评✿ღ★。在国内外重要刊物及一流国际会议论文集上发表论文60余篇✿ღ★，相关成果被国内外研究者多次引用✿ღ★。 2004年获得教育部提名国家科技奖自然科学一等奖（第二完成人）✿ღ★，2006年获国家科技进步二等奖（第三完成人）✿ღ★。2010年获教育部技术发明奖一等奖（第三完成人）✿ღ★。获得国家发明专利一项✿ღ★，申请国家发明专利6项✿ღ★，软件著作权4项✿ღ★。

　　11✿ღ★、徐锋✿ღ★，南京大学教授✿ღ★、博士生导师✿ღ★。2003年进入南京大学计算机软件新技术国家重点实验室✿ღ★，2010年2月获聘为计算机软件与理论岗位教授✿ღ★。近年来主要研究兴趣为基于机器学习的智能化软件开发方法✿ღ★。2007-2009年主持国家自然科学基金项目“面向网构软件体系结构的可信管理模型与技术研究”✿ღ★；2007-2009年主持国家863项目“面向开发环境软件系统的可信保障技术研究”✿ღ★；2010-2012年主持国家自然科学基金项目“基于声誉的网构软件可信保障技术研究”✿ღ★，并作为骨干人员参加了973项目✿ღ★、863高技术✿ღ★、国家杰出青年科学基金尊龙凯时✿ღ★、国家自然科学基金✿ღ★、江苏省自然科学基金等多项科研项目✿ღ★。在中国科学✿ღ★、软件学报✿ღ★、电子学报✿ღ★、JCST✿ღ★、TKDE等国内外重要刊物和KDD, CIKM, WWW等国际会议上发表论文40余篇✿ღ★，并申请国家专利多项✿ღ★。曾获2006年度国家科技进步二等奖（第9完成人）✿ღ★，2010年度高等学校科学研究优秀成果技术发明奖一等奖(第7完成人）✿ღ★。

　　12无颜之月带翻译樱花视频✿ღ★、黄宇✿ღ★，南京大学计算机学院教授✿ღ★，博士生导师✿ღ★。入选2018年度国家“高校计算机专业优秀教师奖励计划”✿ღ★，获得2018年度南京大学“刘厚俊奖教金”主要研究方向为分布式算法✿ღ★、分布式系统✿ღ★、系统软件✿ღ★。曾主持国家自然科学基金三项✿ღ★，并作为主要成员参与了国家973计划✿ღ★，国家自然科学基金创新群体等多项国家重大科研项目✿ღ★。2014年获得南京大学登峰人才支持计划资助✿ღ★，联合指导的博士论文于2016✿ღ★、2017年度分别获得中国计算机学会优秀博士学位论文奖✿ღ★。已在ACM PODC✿ღ★、IEEE SRDS✿ღ★、IEEE Trans. on Computers✿ღ★、IEEE Trans. on Parallel and Distributed Systems等重要国际会议✿ღ★、期刊上发表多篇论文✿ღ★。

　　13✿ღ★、胡昊✿ღ★，南京大学计算机学院副教授✿ღ★，硕士生导师✿ღ★。研究方向包括网构软件方法及过程技术✿ღ★、边缘计算✿ღ★、智能决策和数据挖掘等✿ღ★。主持或参与了包括自然科学基金✿ღ★、国防预研课题✿ღ★、国家973项目✿ღ★、863重点项目✿ღ★、核高基重大专项等多项科研项目✿ღ★。在国内外重要刊物和国际会议上发表论文30余篇✿ღ★。曾获国家科技进步二等奖和教育部科学技术奖一等奖✿ღ★、“南京大学我最喜爱的老师”荣誉称号✿ღ★。

　　14✿ღ★、余萍✿ღ★，南京大学计算机学院副教授✿ღ★，硕士生导师✿ღ★。研究领域为计算机软件技术✿ღ★，包括网构软件✿ღ★、软件在线演化✿ღ★、智能软件工程✿ღ★、云计算与大数据等面向开放环境的软件新技术✿ღ★。曾主持一项国家自然科学基金青年科学基金项目✿ღ★，并作为骨干人员参与国家重点研发计划✿ღ★、国家重大基础研究计划（973）课题✿ღ★、国家高技术研究发展计划（863）课题✿ღ★、国家自然科学基金集成项目等在内的多项国家级科研项目✿ღ★。现主持一项国家自然科学基金面上项目✿ღ★。在《Journal of Systems and Software》✿ღ★、《Information and Software Technology》✿ღ★、《Pervasive and Mobile Computing》✿ღ★、《Science in China》✿ღ★、《中国科学》✿ღ★、《计算机学报》✿ღ★、《软件学报》等国内外核心期刊和ASE✿ღ★，SEKE✿ღ★，UIC, APSEC✿ღ★，COMPSAC✿ღ★，Internetware 等国际会议上发表论文四十余篇✿ღ★，获得2010年度教育部技术发明一等奖✿ღ★。

　　15✿ღ★、姚远✿ღ★，现任南京大学计算机学院副教授无颜之月带翻译樱花视频✿ღ★，担任KDD✿ღ★、WWW✿ღ★、AAAI✿ღ★、IJCAI✿ღ★、CIKM✿ღ★、WSDM✿ღ★、SDM等国际会议的程序委员会委员✿ღ★。分别于2009年✿ღ★、2015年在南京大学计算机科学与技术系取得学士学位✿ღ★、博士学位✿ღ★。研究兴趣主要包括软件智能化技术✿ღ★、人工智能技术及其在软件中的应用✿ღ★。相关研究成果以论文形式发表在CCS✿ღ★、ICSE✿ღ★、KDD✿ღ★、WWW✿ღ★、AAAI✿ღ★、IJCAI等国际会议上✿ღ★。

　　16✿ღ★、李樾尊龙凯时✿ღ★，国家级青年人才✿ღ★，南京大学计算机科学与计算系副教授✿ღ★，曾获ECOOP 2016杰出论文奖✿ღ★，CGO 2013最佳论文奖和ISSRE 2017最佳论文提名✿ღ★。曾担任POPL✿ღ★、TOPLAS等会议和期刊审稿人✿ღ★。2016年博士毕业于澳大利亚新南威尔士大学✿ღ★，之后先后在新南威尔士大学和丹麦奥胡斯大学从事博士后研究工作✿ღ★，2019年9月加入南京大学工作✿ღ★。研究方向为程序设计语言与程序分析✿ღ★，以第一作者（或共同一作）身份在程序设计语言相关会议和期刊✿ღ★，如TOPLAS✿ღ★、PLDI✿ღ★、OOPSLA✿ღ★、ECOOP✿ღ★、FSE✿ღ★、TOSEM等发表文章✿ღ★。

　　17✿ღ★、汪亮✿ღ★，现任南京大学计算机学院副教授✿ღ★。2003年进入南京大学学习✿ღ★，于2007年✿ღ★、2014年分别获得学士✿ღ★、博士学位✿ღ★。研究领域为普适计算✿ღ★、软件方法学✿ღ★、低侵入性可穿戴系统等✿ღ★。在TMC✿ღ★、TKDE✿ღ★、UbiComp等国际一流期刊和会议上发表论文十余篇✿ღ★。

　　18✿ღ★、马骏✿ღ★，南京大学计算机学院副教授✿ღ★，硕士生导师✿ღ★，南京大学ACM-ICPC集训队领队兼教练✿ღ★。研究领域为软件分析与测试✿ღ★，近期工作重点集中在面向Android应用的软件行为识别✿ღ★、分析及其应用✿ღ★。参与包括国家重点研发计划✿ღ★、国家高技术研究发展计划（863）✿ღ★、国家自然科学基金项目在内的多项国家级科研项目✿ღ★。在ICPC✿ღ★、ICSME✿ღ★、COMPSAC✿ღ★、APSAC✿ღ★、UIC等国际会议以及SCP✿ღ★、《软件学报》等国内外期刊发表论文20余篇✿ღ★。

　　19✿ღ★、蒋炎岩✿ღ★，南京大学计算机学院副教授✿ღ★，ICPC World Finalist✿ღ★、曾荣获2018年度CCF（中国计算机学会） 优秀博士论文奖✿ღ★，获得2014年Microsoft Research Asia Fellowship Award✿ღ★，获得 ACM SIGSOFT Distinguished Paper Award✿ღ★。南京大学ACM-ICPC集训队助理教练✿ღ★，江苏省青少年信息学竞赛委员会资深教练✿ღ★，2016年南京大学学生年度人物等荣誉✿ღ★。参与了计算机系统方向的课程设计✿ღ★，指导本科生获得2017年“龙芯杯”系统能力竞赛第二名✿ღ★。主要关注系统软件的测试✿ღ★、分析✿ღ★，以及面向领域的程序合成✿ღ★。发表论文 30 余篇✿ღ★，其中软件工程顶级会议 ICSE/FSE/ASE 10余篇✿ღ★，读博期间的回忆录 “读博那些事儿” 被新智元✿ღ★、机器之心等新媒体转载✿ღ★。重度参与了南京大学计算机系统方向系列实验的设计✿ღ★。

　　20✿ღ★、徐经纬✿ღ★，南京大学计算机学院副教授✿ღ★，曾担任ASONAM 2016-2020, CIKM 2017 (Short papers), AAAI 2018, PAKDD 2018等国际会议程序委员会委员✿ღ★。2005年进入南京邮电大学攻读本科✿ღ★。2009年加入南京大学软件所✿ღ★，分别于2012年✿ღ★、2017年获得南京大学硕士✿ღ★、博士学位✿ღ★。研究领域深度学习相关研究✿ღ★，包括深度学习模型软件质量保障✿ღ★、深度学习模型可解释性研究✿ღ★、以及深度学习相关应用✿ღ★。在ICSE✿ღ★，FSE✿ღ★，KDD✿ღ★，IJCAI✿ღ★，TKDE等国际期刊和会议上发表数篇学术论文✿ღ★。

　　21✿ღ★、汤恩义✿ღ★，南京大学计算机学院副教授✿ღ★、硕士生导师,CCF会员✿ღ★。主要研究领域为程序分析✿ღ★、数值分析✿ღ★、软件测试等✿ღ★。

　　22✿ღ★、左志强✿ღ★，国家级青年人才✿ღ★，南京大学计算机学院长聘副教授✿ღ★，博士生导师✿ღ★。新加坡国立大学博士✿ღ★，美国加州大学博士后✿ღ★。主要研究方向为系统软件尊龙凯时✿ღ★、编译器✿ღ★、程序分析等✿ღ★。

　　23✿ღ★、谭添✿ღ★，南京大学计算机学院助理教授✿ღ★。2017年博士毕业于澳大利亚新南威尔士大学✿ღ★，2017年至2019年于丹麦奥胡斯大学从事博士后研究工作✿ღ★。研究领域为程序分析与程序设计语言✿ღ★。在TOPLAS✿ღ★、PLDI等国际期刊与会议上发表学术论文✿ღ★。

　　24✿ღ★、王慧妍✿ღ★，南京大学助理教授✿ღ★，博士生导师✿ღ★，担任SANER✿ღ★、QRS等国际会议程序委员会委员✿ღ★。在TSE✿ღ★、ICSE✿ღ★、ESEC/FSE✿ღ★、ISSRE等国内外优秀期刊或会议上发表学术论文10余篇✿ღ★，获2022年度江苏省计算机学会优秀博士学位论文奖✿ღ★。担任ICSE2025✿ღ★、SANER2024✿ღ★、ASE2023等会议程序委员会成员与TOSEM✿ღ★、TSE等国际期刊审稿专家✿ღ★。主持国家自然科学基金青年项目与江苏省青年基金项目无颜之月带翻译樱花视频✿ღ★，参与国家重点研发计划课题与自然科学基金重点项目等✿ღ★。个人主要研究方向为智能化软件工程✿ღ★、泛在操作系统数据保障✿ღ★、以及软件开发工具链研究等✿ღ★。

　　25✿ღ★、秦逸✿ღ★，南京大学助理研究员✿ღ★，2018年毕业于南京大学博士学位✿ღ★。在JSS,WWWJ, QRS等国际期刊会议上发表数篇学术论文✿ღ★。研究兴趣包括自适应系统（目前关注于环境不确定性对于自适应系统的影响问题）✿ღ★，软件测试和分析技术✿ღ★。尊龙凯时人生就是博✿ღ★。航空研究✿ღ★，先进计算机✿ღ★。系统实验室✿ღ★，