網(wǎng)站介紹 關(guān)于我們 聯(lián)系方式 廣告業(yè)務(wù) 幫助信息
1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號(hào)
- 學(xué)校首頁(yè)
- 學(xué)校簡(jiǎn)介
- 院系設(shè)置
- 考研調(diào)劑
- 考研成績(jī)查詢(xún)
- 考研分?jǐn)?shù)線
- 導(dǎo)師介紹
- 歷年試題
- 研究生招生信息網(wǎng)
中國(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é)
馮新宇
單位：計(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)證
相關(guān)資訊
- 中國(guó)科學(xué)技術(shù)大學(xué)2025年優(yōu)秀大學(xué)生夏令營(yíng)第十八屆生命醫(yī)學(xué)夏令..
- 中國(guó)科學(xué)技術(shù)大學(xué)2025年第十七屆納米科技夏令營(yíng)(蘇州納米所)報(bào)..
- 中國(guó)科學(xué)技術(shù)大學(xué)應(yīng)用化學(xué)與工程學(xué)院(長(zhǎng)春應(yīng)化所)2025年優(yōu)秀大..
- 中國(guó)科學(xué)技術(shù)大學(xué)2025年第十六屆物理與化學(xué)暑期夏令營(yíng)物理分營(yíng)..
- 中國(guó)科學(xué)技術(shù)大學(xué)2025年第十六屆物理與化學(xué)夏令營(yíng)-化學(xué)分營(yíng)通..
熱門(mén)網(wǎng)課
信息目錄
考研招生簡(jiǎn)章
考研專(zhuān)業(yè)目錄
考研參考書(shū)目
考研考試大綱
考研真題下載
考研成績(jī)查詢(xún)
考研調(diào)劑信息
考研分?jǐn)?shù)線
考研復(fù)試信息
考研報(bào)考錄取
研招辦答疑
研究生學(xué)費(fèi)
考研復(fù)習(xí)資料
研招辦電話
導(dǎo)師介紹
網(wǎng)絡(luò)課程
2025/2026考研全程班 最新網(wǎng)課
政治、英語(yǔ)、數(shù)學(xué)、專(zhuān)業(yè)課都可試聽(tīng)
2025/2026考研公共課 免費(fèi)領(lǐng)取
免費(fèi)領(lǐng)課，全年享不停
- 2026考研英語(yǔ)全程班 5班
- 2026考研政治全程班 5班
- 2026考研數(shù)學(xué)全程班 5班
- 2026考研英語(yǔ)直通車(chē) 5期
- 2026考研政治直通車(chē) 5期
- 2026考研數(shù)學(xué)直通車(chē) 5期
- 2026考研英語(yǔ)全程班 寒假班
- 2026考研政治全程班 寒假班
考研資料
考研網(wǎng)課
省市考研網(wǎng)
×關(guān)閉
掃碼關(guān)注
考研信息一網(wǎng)打盡