1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號
中國科學技術大學計算機科學與技術專業研究生導師介紹：馮新宇
馮新宇
單位：計算機科學與技術學院
地址：江蘇省蘇州市仁愛路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、形式化程序驗證
來源未注明“中國考研網”的資訊、文章等均為轉載，本網站轉載出于傳遞更多信息之目的，并不意味著贊同其觀點或證實其內容的真實性，如涉及版權問題，請聯系本站管理員予以更改或刪除。如其他媒體、網站或個人從本網站下載使用，必須保留本網站注明的"稿件來源"，并自負版權等法律責任。
來源注明“中國考研網”的文章，若需轉載請聯系管理員獲得相應許可。
聯系方式：chinakaoyankefu@163.com
- 2026考研英語全程班 寒假班
- 權威高配師資親授技巧，教研千錘百煉科學提分。直錄播課相結合精講互動二合一，專業團隊精細化作文批改。講練結合，隨學隨練穩步提升。支持試聽~
- 主講團隊：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人
中國科學技術大學考研
熱門課程
考研網課
考研資料
最新資訊
×關閉
掃碼關注
了解考研最新消息