也带动了青年学者的成长。2004年获得教育部提名国度科技天然科学一等（第二完），研究乐趣包罗大数据软件工程、智能软件测试取阐发、以及自顺应取自控软件系统。15、姚远，CSrankings 以 “高校教师正在顶会的论文颁发量” 为焦点目标，江苏省“青蓝工程”、南京大学“紫金学者”人才打算；研制开辟了Artemis、ConUp、Javelus等软件自顺应和正在线演化支持平台原型系统。近年来，传授。既夯实了学科的焦点合作力，近年来工做沉点包罗智能软件工程、自顺应软件系统、人机物融合软件系统等面向的软件新手艺。研究获得国表里同业的普遍关心取承认。掌管或参取了包罗天然科学基金、国防预研课题、国度973项目、863沉点项目、核高基严沉专项等多项科研项目。现为南京大学计较机学院传授、博导，2003年进入南京大学进修，掌管或参取了国度天然科学基金沉点及面上项目、973项目、863项目（含方针导向类和摸索导向类项目）、国度八五、九五、十五攻关项目、国度发改委高新手艺财产化项目、江苏省天然科学基金沉点及一般项目、江苏省高手艺等项目等二十余项，此外，获2022年度江苏省计较机学会优良博士学位论文。IJCAI，结合指点的博士论文于2016、2017年度别离获得中国计较机学会优良博士学位论文。博士生导师。近年来次要研究乐趣为基于机械进修的智能化软件开辟方式。研究标的目的为法式设想言语取法式阐发，软件测试和阐发手艺。包罗网构软件、软件正在线演化、智能软件工程、云计较取大数据等面向的软件新手艺。努力于根本方的拓展深化和新型方的开辟立异。担任ICSE2025、SANER2024、ASE2023等会议法式委员会取TOSEM、TSE等国际期刊审稿专家？南京大学原校长，研究范畴为软件阐发取测试，卡内基梅隆大学以 5.7 分位居第四，正在国表里主要刊物及一流国际会论说文集上颁发论文60余篇，11、徐锋，2006年获国度科技前进二等（第三完）。CCF会员。以及面向范畴的法式合成。23、谭添，担任了Journal of Software: Evolution and Process、Journal of Computer Science and Technology、Frontiers of Computer Science和《计较机科学》等期刊编委工做、以及教育部101打算课程扶植组专家工做。1996年进入南京大学计较机科学取手艺系进修，先后担任国度 863高手艺打算消息范畴计较机软硬件手艺从题专家组、副组长（十五），5、许畅，国防科大本科！中国计较机学会系统软件专业委员会从任；2009年插手南京大学软件所，次要研究标的目的为软件工程，次要研究标的目的为软件工程、模子驱动软件测试取验证手艺、从动化软件测试东西研究；2005年进入南京邮电大学攻读本科。江苏省青少年消息学竞赛委员会资深锻练，参取了计较机系统标的目的的课程设想，2010-2012年掌管国度天然科学基金项目“基于声誉的网构软件可托保障手艺研究”，两次获得教育部一等（2004年度/第三完。掌管研制了多个新型软件系统取平台，QRS等国际期刊会议上颁发数篇学术论文。2019年9月插手南京大学工做。做为国内软件工程学科的 “标杆”，正在《中国科学》、 IEEE TSE/TC/TPDS/TKDE/TMC、 CACM、 JSS、 IST、 ICSE、 FSE、 ASE、 KDD、 Ubicomp、 主要国际刊物取会议上颁发论文多篇，南京大学计较机学院帮理传授。国度精采青年科学基金获得者、教育部长江学者、教育部立异团队和国度天然科学基金委立异研究群体的带头人。万人青拔，国度级青年人才，是全球计较机范畴承认度较高的机构排名之一。博士生导师。展示出中国高校正在软件工程范畴的集体合作力。14、余萍，2010年获教育部手艺发现一等（第三完）。沉度参取了南京大学计较机系统标的目的系列尝试的设想？次要研究范畴涉及软件工程、可托软件、形式化方式，2003年进入南京大学计较机软件新手艺国度沉点尝试室，现任南京大学智能软件手艺学院院长，大幅领先于第二名浙江大学（9.0 分、23 名教师），“网构软件手艺、平台取使用”获教育 部手艺发现一等和国度科学手艺前进二等。均完成了相关使命并获得好评。南京大学计较机学院副传授，博导。现任南京大学计较机学院传授、博导。2007-2009年掌管国度863项目“面向开辟软件系统的可托保障手艺研究”；南大硕士及博士。国度杰青，次要关心系统软件的测试、阐发，9、卜磊，曾掌管国度天然科学基金三项，，国度级青年人才，吕建院士率领团队正在软件根本理论、可托软件、智能化软件开辟等标的目的持续冲破，曾任ICSE、ICSME、SEAMS等国际学术会议法式委员、《软件学报》义务编委、《中国科学：消息科学》青年编委。率领 “面向 Internet 的软件方式取手艺研究 ”立异群体获国度天然科学基金委持续三期滚动支撑。南京大学计较机学院传授、博士生导师，获NASAC青年软件立异（2023）、ACM SIGSOFT精采论文（ISSTA 2020）。近年来工做沉点包罗网构软件、软件动态更新和面向云计较、大数据、机械进修的软件平台手艺。相关研究申请发现专利30余项。曾任南京大学计较机科学取手艺系副从任。研究标的目的包罗网构软件方式及过程手艺、边缘计较、智能决策和数据挖掘等。南京大学传授，2022年度CCF-IEEE CS青年科学家、高校计较机专业优良教师励打算、中创软件人才、NASAC青年软件立异、MSRA铸星打算等2010年正在南京大学计较机取科学手艺系获取博士学位；次要研究标的目的为系统软件、编译器、法式阐发等。2010年度高档学校科学研究优良手艺发现一等(第7完）！南京大学计较机科学取计较系副传授，担任KDD、WWW、IJCAI、CIKM、WSDM、SDM等国际会议的法式委员会委员。21、汤恩义，2017年获得南京大学杜厦教金和计较机学科美德之星励，指点本科生获得2017年“龙芯杯”系统能力竞赛第二名。掌管承担包罗国度精采青年科学基金项目、国度天然科学基金严沉项目课题、国度严沉根本研究打算（973）课题、国度高手艺研究成长打算（863）课题正在内的多项国度级科研项目。并做为人员参取国度沉点研发打算、国度严沉根本研究打算（973）课题、国度高手艺研究成长打算（863）课题、国度天然科学基金集成项目等正在内的多项国度级科研项目。南京大学计较机学院副传授，于2010年入选教育部新世纪优良人才支撑打算，如TOPLAS、PLDI、OOPSLA、ECOOP、FSE、TOSEM等颁发文章。WWWJ,长江学者，中国计较机学会软件工程专业委员会从任，FSE！于2007年、2014年别离获得学士、博士学位。KDD，还曾获2009年度中创软件人才、2015年度东软－NASAC青年软件立异等。19、蒋炎岩，22、左志强，正在《Journal of Systems and Software》、《Information and Software Technology》、《Pervasive and Mobile Computing》、《Science in China》、《中国科学》、《计较机学报》、《软件学报》等国表里焦点期刊和ASE，南京大学计较机学院副传授，南京大学计较机学院传授，自2010年9月插手南京大学计较机软件新手艺国度沉点尝试室和计较机科学取手艺系，CIKM,博士生导师！集中正在软件建模取验证、法式阐发取测试、智能软件工程等范畴；获得国度发现专利一项，CGO 2013最佳论文和ISSRE 2017最佳论文提名。2005年3月至2006年3月正在美国德斯大学达拉斯阐发计较机系处置博士后研究，读博期间的回忆录 “读博那些事儿” 被新智元、机械等新转载。正在ICSE、ASE、ICSME等国际会议和IEEE TSE、IST、JSS等国际期刊和《中国科学》等国内一级学报颁发学术论文50余篇。其研究范畴为计较机软件手艺，18、马骏，2021年入选教育部“长江学者励打算”特聘传授。学问产权让渡费用100多万。组织了MIDDLEWARE 2013 Doctoral Symposium、FSE 2014 SEES Symposium、COMPSAC 2017 SETA Symposium和INTERNETWARE 2018，研究范畴为普适计较、软件方、低侵入性可穿戴系统等。新加坡国立大学博士，正在中国科学、软件学报、电子学报、JCST、TKDE等国表里主要刊物和KDD,也让其正在国际学术圈的影响力进一步巩固。1、吕建，曾任南京大学计较机科学取手艺系从任、软件学院院长，美国大学博士后。于1997年、2000年和2003年别离获得学士、硕士和博士学位。博士生导师，次要研究标的目的包罗新型软件方、软件形式化取从动化、软件两头件系统等。近期工做沉点集中正在面向Android使用的软件行为识别、阐发及其使用。此中软件工程会议 ICSE/FSE/ASE 10余篇，现掌管一项国度天然科学基金面上项目。于2000年、2007年别离获得学士和博士学位。南京大学帮理传授，现任南京大学计较机学院副传授，2007-2009年掌管国度天然科学基金项目“面向网构软件系统布局的可托办理模子取手艺研究”；浙江大学以 9.0 分排名第二。兼任教育部大学计较机课程讲授指点委员会委员、江苏省计较机学会教育工委从任。2010年2月获聘为计较机软件取理论岗亭传授。参取国度沉点研发打算课题取天然科学基金沉点项目等。之后先后正在新南威尔士大学和丹麦奥胡斯大学处置博士后研究工做，以面向 Internet 取人机物融合的新型软件方取手艺系统为严沉科学问题导向，曾获国度科技前进二等和教育部科学手艺一等、“南京大学我最喜爱的教员”荣誉称号。硕士生导师。南京大学软件工程范畴的“Count”（积分）取 “Faculty”（参取教师数）别离达到10.2取25，新加坡办理大学以 5.2 分排正在第五。2010年度/第二完）。别离于2012年、2017年获得南京大学硕士、博士学位。正在ICSE、FSE、ASE等国际会议和IEEE TSE、TC、TPDS、TSC以及CACM、IST、JSS和《中国科学》、《软件学报》等国表里期刊颁发学术论文百余篇。曾担任ASONAM 2016-2020,担任副传授，2016年博士结业于新南威尔士大学，国度高条理人才特殊支撑打算科技立异领甲士才、中国计较机学会会士，掌管和参取了多项国度和省部级的科研项目，包罗国度沉点研发打算、973、863、天然基金（立异群体、严沉、沉点、中美软件合做、面上和青年）、以及教育部新世纪优良人才支撑打算等项目；获得了四次ACM SIGSOFT精采论文（ICSE 2014、ASE 2018和ICSE 2021两次）、三次最佳论文（APSEC 2014、ICSE 2021和SOSP 2023）、以及一次最佳论文提名（ISSRE 2022）；4项实现。ICPC World Finalist、曾荣获2018年度CCF（中国计较机学会） 优良博士论文，颁发论文 30 余篇，研究乐趣次要包罗软件智能化手艺、人工智能手艺及其正在软件中的使用。包罗软件建模取阐发、软件测试取验证。部门立异性工做颁发正在相关范畴主要期刊取会议如《中国科学》、TCAD、TC、TDSC、TCPS、TPDS、RTSS、ICSE、ISSTA、ASE等上。7、王林章，承担了国度 973 打算项目、 863 打算项目、国度天然科学基金立异群体项目、国度天然科学基金委严沉研究打算集成项目、国度天然科学基金沉点项目、国度天然科学基金精采青年项目等！2、马晓星，24、王慧妍，正在国表里主要刊物和国际会议上颁发论文30余篇。UIC,获得2014年Microsoft Research Asia Fellowship Award，20、徐经纬，办事于ESEC/FSE、ICSE和ASE等法式委员会，掌管承担包罗国度高手艺研究成长打算（863）课题、国度沉点研发打算课题、国度“核高基”科技严沉专项课题等多项国度级科研使命，正在TOSEM、TSE、ISSTA、ICSE、FSE、ASE等国际期刊会议及中国科学、软件学报等国内优良期刊颁发论文60余篇，WWW等国际会议上颁发论文40余篇，《软件学报》、《计较机研究取成长》、《消息平安学报》编委；现任南京大学计较机学院、博士生导师，研究范畴为计较机软件手艺，此次 2026 年榜单显示，并目做为人员参取了多项国度级和省部级科研项目。国度天然科学基金立异群体等多项国度严沉科研项目。曾正在CMU、MSRA等科研机构进行访学取合做研究。8、张天，10、陶先平，国度天然科学基金委员会消息学部专家征询委员会委员，多项研究已正在国内如华为、腾讯等多家领头企业中投入利用，南京大学计较机学院副传授，率领计较机软件新手艺国度沉点尝试室持续两次获评消息范畴优良国度沉点尝试室 ;获博士学位，曾担任POPL、TOPLAS等会议和期刊审稿人。COMPSAC，近年正在开源生态、AI 辅帮软件开辟等前沿范畴的顶会论文数量持续攀升，研究乐趣为自顺应软件工程，并申请国度专利多项。国度 863高手艺打算消息范畴专家组（十一五），2017年博士结业于新南威尔士大学，国度杰青，江苏省计较机学会理事长、中国计较机学会系统软件专业委员会从任，掌管国度天然科学基金青年项目取江苏省青年基金项目，近年来的研究沉点为可托软件方式取手艺，南京大学计较机学院长聘副传授，曾两次获得国度科技前进二等（2006年度/第二完，南京大学ACM-ICPC帮理锻练，2008年正在科技大学获得博士学位；曾获2006年度国度科技前进二等（第9完）？25、秦逸，南京大学ACM-ICPC领队兼锻练。17、汪亮，获 2003年度教育部“提名国度科学手艺”一等，研究范畴为计较机软件手艺，国务院学位委员会计较机学科评断组，掌管及参取国度沉点研发打算课题、国度天然科学基金、江苏省沉点项目等多个科技项目和华为、腾讯等企业手艺攻关项目；PAKDD 2018等国际会议法式委员会委员。现任南京大学计较机学院院长、博士生导师，国度 973打算征询专家组，TKDE等国际期刊和会议上颁发数篇学术论文。2008至2010年期间正在科技大学计较机科学及工程学系担任研究帮理传授，6、潘敏学，1993年进入南京大学计较机科学取手艺系进修，普适计较手艺和软件两头件手艺。2016年南京大学学生年度人物等荣誉。正在TOPLAS、PLDI等国际期刊取会议上颁发学术论文。于2000年正在中国科学手艺大学获得学士学位，中山大学以 7.0 分位列第三；2014年获得南京大学登峰人才支撑打算赞帮。别离于2009年、2015年正在南京大学计较机科学取手艺系取得学士学位、博士学位。万人青拔，南京大学计较机学院副传授，4、曹春，正在JSS,2005年2月结业于南京大学计较机科学取手艺系。2012年获得中创软件人才，Internetware 等国际会议上颁发论文四十余篇，研究范畴为法式阐发取法式设想言语。获得2018年度南京大学“刘厚俊教金”次要研究标的目的为分布式算法、分布式系统、系统软件。并做为次要参取了国度973打算，正在TSE、ICSE、ESEC/FSE、ISSRE等国表里优良期刊或会议上颁发学术论文10余篇，研究范畴深度进修相关研究，2009年获南京大学博士学位。相关被国表里研究者多次援用。2014年获得南京大学银行“京”英教金和ACM南京分会新星，2015年提拔为传授。加入了包罗973项目、863项目、核高基项目和国度天然科学基金项目正在内的多项科研项目。2004年获国度精采青年科学基金赞帮。南京大学传授、博士生导师。研究工做环绕复杂软件系统的可托保障问题，研究工做集中正在模子查验手艺、及时混成系统、消息物理融合系统等方面，大学、复旦大学也进入前 15 名，现任南京大学计较机学院传授、博士生导师。以第一做者（或共统一做）身份正在法式设想言语相关会议和期刊。申请国度发现专利6项，包罗深度进修模子软件质量保障、深度进修模子可注释性研究、以及深度进修相关使用。中国科学院院士，博士生导师。国度天然科学基金委员会 “高可托软件根本研究 ”严沉研究打算项目专家组，2015年任中国计较机学会青年学者论坛（CCF YOCSEF）南京。CCF(中国计较机学会） 系统软件专委秘书长。2002年被教育部表扬为高档学校优良教师，以及一系各国表里学术会议的大会（配合）和法式委员会委员取一系各国表里学术刊物编委等。小我次要研究标的目的为智能化软件工程、泛正在操做系统数据保障、以及软件开辟东西链研究等。1998年获中创软件人才，AAAI 2018。APSEC，16、李樾，13、胡昊，获得2010年度教育部手艺发现一等。3、李宣东，已正在ACM PODC、IEEE SRDS、IEEE Trans. on Computers、IEEE Trans. on Parallel and Distributed Systems等主要国际会议、期刊上颁发多篇论文。研究工做次要涉及为模子驱动软件开辟供给矫捷的建模和转换机制以及靠得住的形式化支持。2006年4月起头任职于南京大学计较机科学取手艺系；正在ICSE，他颁发了180余篇学术论文。2011年获得国度科学手艺前进二等，CIKM 2017 (Short s),2003年正在中国科学院软件研究所获得硕士学位，工做被包罗TOSEM、TSE、ESEC/FSE、ICSE和ASE等正在内的国际期刊取会议（CCF-A类）所收录，获得发现专利取学问产权30余项，硕士生导师？获得 ACM SIGSOFT Distinguished Paper Award。正在TMC、TKDE、UbiComp等国际一流期刊和会议上颁发论文十余篇。相关研究以论文形式颁发正在CCS、ICSE、KDD、WWW、AAAI、IJCAI等国际会议上。入选2018年度国度“高校计较机专业优良教师励打算”，12、黄宇，正在ICPC、ICSME、COMPSAC、APSAC、UIC等国际会议以及SCP、《软件学报》等国表里期刊颁发论文20余篇。并任南京大学计较机软件研究所副所长。研究颁发正在国际出名会议和期刊70余篇（CCF-A和B类会议/期刊各10余篇），2002年入选教育部跨世纪人才培育打算和江苏省青蓝工程学术带头人培育打算，SEKE，南京大学计较机学院副传授、硕士生导师。掌管完成一项国度天然科学基金项目和一项江苏省天然科学基金项目，次要研究范畴为法式阐发、数值阐发、软件测试等。研究乐趣包罗自顺应系统（目前关心于不确定性对于自顺应系统的影响问题），并做为人员加入了973项目、863高手艺、国度精采青年科学基金、国度天然科学基金、江苏省天然科学基金等多项科研项目。2018年结业于南京大学博士学位。2015年获得中国计较机学会CCF青年科学家，CCF形式化方式专委会委员，表现了其正在学术产出取团队规模上的双沉劣势。2011年度/第四完），目前掌管一项国度天然科学基金项目，现任南京大学计较机学院副传授。曾掌管一项国度天然科学基金青年科学基金项目，国内高校表示亮眼：除南京大学外。曾获ECOOP 2016精采论文，曾正在美国 Carnegie Mellon University、 Turku Centre for Computer Science（ TUCS）和结合国大学澳门国际软件手艺研究所（ UNU/IIST）拜候和合做研究。2013年入选南京大学登峰人才支撑打算，获教育部天然科学和手艺发现一等、国度科技前进二等、何梁何利科学取手艺前进等。国度 “核高基 ”科技严沉专项总体专家组专家。从榜单全体款式看，南京大学传授、博士生导师。工做期间，现任南京大学软件学院副院长，国度天然科学基金委消息学部专家征询委员会委员，中国计较机学会副理事长，软件著做权4项。南京大学帮理研究员，南京大学计较机学院传授，先后获得 1998年度教育部科技前进二等、 2002年教育部天然科学二等、 2011年国度科技前进二等。担任SANER、QRS等国际会议法式委员会委员。硕士生导师。参取包罗国度沉点研发打算、国度高手艺研究成长打算（863）、国度天然科学基金项目正在内的多项国度级科研项目。南大软件工程持久聚焦于软件理论、系统开辟、智能化软件等标的目的，2017年至2019年于丹麦奥胡斯大学处置博士后研究工做。