中國(guó)科學(xué)技術(shù)大學(xué)

2025/2026考研輔導(dǎo)網(wǎng)課

中國(guó)考研網(wǎng) 考研網(wǎng) » 院校信息 » 中國(guó)科學(xué)技術(shù)大學(xué) » 研究生導(dǎo)師介紹

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

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

2025考研數(shù)學(xué)全程班早鳥(niǎo)3班

26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」

中國(guó)科學(xué)技術(shù)大學(xué)2025考研專(zhuān)業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

馮新宇
單位：計(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)證