網(wǎng)站介紹 關于我們 聯(lián)系方式 廣告業(yè)務 幫助信息
1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號
中國科學技術大學計算機科學與技術專業(yè)研究生導師介紹：馮新宇
分類：導師信息 來源：中國考研網(wǎng) 2017-04-23 相關院校：中國科學技術大學
馮新宇
單位：計算機科學與技術學院
地址：江蘇省蘇州市仁愛路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月加入中國科學技術大學
計算機科學與技術學院任教授。主要從事程序驗證、并發(fā)理論、程序設
計語言理論方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名國
際會議和期刊上發(fā)表論文10余篇。擔任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委員會成員。
研究方向 Researchdirection
1、程序設計語言
2、系統(tǒng)軟件
3、形式化程序驗證
相關資訊
熱門網(wǎng)課
信息目錄
考研招生簡章
考研專業(yè)目錄
考研參考書目
考研考試大綱
考研真題下載
考研成績查詢
考研調(diào)劑信息
考研分數(shù)線
考研復試信息
考研報考錄取
研招辦答疑
研究生學費
考研復習資料
研招辦電話
導師介紹
網(wǎng)絡課程
2025/2026考研全程班 最新網(wǎng)課
政治、英語、數(shù)學、專業(yè)課都可試聽
2025/2026考研公共課 免費領取
免費領課，全年享不停
- 2026考研英語全程班 早鳥2班
- 2026考研政治全程班 早鳥2班
- 2026考研數(shù)學全程班 早鳥2班
- 2026考研英語直通車 長線1期
- 2026考研政治直通車 長線1期
- 2026考研數(shù)學直通車 長線1期
- 2026考研英語全程班 寒假班
- 2026考研政治全程班 寒假班
考研資料
考研網(wǎng)課
省市考研網(wǎng)
×關閉
掃碼關注
考研信息一網(wǎng)打盡