冯新宇，男，1978年生；教授，博士生导师。分别于1999年和2002年在
南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2001年7
月至2002年1月于香港理工大学担任研究助理。2007年9月至2010年5月于
Toyota Technological Institute at Chicago (TTIC)任研究助理教授
（Research Assistant Professor）。2010年5月加入中国科学技术大学
计算机科学与技术学院任教授。主要从事程序验证、并发理论、程序设
计语言理论方面的研究，在 POPL、PLDI、ESOP、ICFP和CONCUR等知名国
际会议和期刊上发表论文10余篇。担任APLAS'11, LOLA'11, TASE'09和
APLAS'08的程序委员会成员。 |
