中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇

冯新宇
单位：计算机科学与技术学院
地址：江苏省苏州市仁爱路166号
邮编：215123
电话：86-512-87161319
个人主页：http://staff.ustc.edu.cn/~xyfeng/

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

研究方向  Researchdirection 
1、程序设计语言
2、系统软件
3、形式化程序验证