• 2026考研英語全程班 6班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 中國科學技術大學2026考研專業課復習資料「真題▪筆記▪講義▪題庫」

馮新宇
單位：計算機科學與技術學院
地址：江蘇省蘇州市仁愛路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、形式化程序驗證