中國(guó)科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)業(yè)研究生導(dǎo)師介紹：馮新宇

導(dǎo)師信息來(lái)源：中國(guó)考研網(wǎng) 2017-04-23　相關(guān)院校：中國(guó)科學(xué)技術(shù)大學(xué)

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

個(gè)人簡(jiǎn)歷 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月加入中國(guó)科學(xué)技術(shù)大學(xué)
計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院任教授。主要從事程序驗(yàn)證、并發(fā)理論、程序設(shè)
計(jì)語(yǔ)言理論方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名國(guó)
際會(huì)議和期刊上發(fā)表論文10余篇。擔(dān)任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委員會(huì)成員。

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

來(lái)源未注明“中國(guó)考研網(wǎng)\考研信息網(wǎng)”的資訊、文章等均為轉(zhuǎn)載，本網(wǎng)站轉(zhuǎn)載出于傳遞更多信息之目的，并不意味著贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，如涉及版權(quán)問(wèn)題，請(qǐng)聯(lián)系本站管理員予以更改或刪除。如其他媒體、網(wǎng)站或個(gè)人從本網(wǎng)站下載使用，必須保留本網(wǎng)站注明的"稿件來(lái)源"，并自負(fù)版權(quán)等法律責(zé)任。

來(lái)源注明“中國(guó)考研網(wǎng)”的文章，若需轉(zhuǎn)載請(qǐng)聯(lián)系管理員獲得相應(yīng)許可。

聯(lián)系方式：chinakaoyankefu@163.com

在線輔導(dǎo)中心

2026考研英語(yǔ)全程班寒假班
權(quán)威高配師資親授技巧，教研千錘百煉科學(xué)提分。直錄播課相結(jié)合精講互動(dòng)二合一，專(zhuān)業(yè)團(tuán)隊(duì)精細(xì)化作文批改。講練結(jié)合，隨學(xué)隨練穩(wěn)步提升。支持試聽(tīng)~
主講團(tuán)隊(duì)：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人