冯新宇

0 ? $score . '分' : '10.0分' ?>

其他

关于教练

教授，南京大学计算机科学与技术系博士生导师。分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago （TTIC）任研究助理教授（Research Assistant Professor）。2010年5月至2017年12月于中国科学技术大学计算机科学与技术学院任教授。2018年1月起加入南京大学计算机系。主要从事程序设计语言理论、程序验证、并发理论等方面的研究，在POPL、PLDI、CAV、LICS和ACM TOPLAS等知名国际会议和期刊上发表论文多篇。担任APLAS 2015、APLAS 2017和SETTA 2017等会议的大会主席/程序委员会主席，并多次担任POPL、PLDI、ICALP、ESOP等国际知名会议的程序委员会委员。获PLDI 2019杰出论文奖、2016年度CCF NASAC-东软青年软件创新奖、2015年度中创软件人才奖，入选教育部新世纪优秀人才支持计划。