馮新宇
單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院
地址：江蘇省蘇州市仁愛路166號(hào)
郵編：215123
電話：86-512-87161319
個(gè)人主頁：http://staff.ustc.edu.cn/~xyfeng/

個(gè)人簡歷  Personalresume 
馮新宇，男，1978年生；教授，博士生導(dǎo)師。分別于1999年和2002年在
南京大學(xué)獲學(xué)士和碩士學(xué)位；2007年于耶魯大學(xué)獲博士學(xué)位。2001年7
月至2002年1月于香港理工大學(xué)擔(dān)任研究助理。2007年9月至2010年5月于
ToyotaTechnologicalInstituteatChicago(TTIC)任研究助理教授
（ResearchAssistantProfessor）。2010年5月加入中國科學(xué)技術(shù)大學(xué)
計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院任教授。主要從事程序驗(yàn)證、并發(fā)理論、程序設(shè)
計(jì)語言理論方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名國
際會(huì)議和期刊上發(fā)表論文10余篇。擔(dān)任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委員會(huì)成員。

研究方向  Researchdirection 
1、程序設(shè)計(jì)語言
2、系統(tǒng)軟件
3、形式化程序驗(yàn)證