網(wǎng)站介紹 關(guān)于我們 聯(lián)系方式 友情鏈接 廣告業(yè)務(wù) 幫助信息
1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號(hào)
中國科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)研究生導(dǎo)師介紹：馮新宇
導(dǎo)師信息 來源：中國考研網(wǎng) 2017-04-23 相關(guān)院校：中國科學(xué)技術(shù)大學(xué)
馮新宇
單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院
地址：江蘇省蘇州市仁愛路166號(hào)
郵編：215123
電話：86-512-87161319
個(gè)人主頁：http://staff.ustc.edu.cn/~xyfeng/
個(gè)人簡歷 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月加入中國科學(xué)技術(shù)大學(xué)
計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院任教授。主要從事程序驗(yàn)證、并發(fā)理論、程序設(shè)
計(jì)語言理論方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名國
際會(huì)議和期刊上發(fā)表論文10余篇。擔(dān)任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委員會(huì)成員。
研究方向 Researchdirection
1、程序設(shè)計(jì)語言
2、系統(tǒng)軟件
3、形式化程序驗(yàn)證
來源未注明“中國考研網(wǎng)”的資訊、文章等均為轉(zhuǎn)載，本網(wǎng)站轉(zhuǎn)載出于傳遞更多信息之目的，并不意味著贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，如涉及版權(quán)問題，請聯(lián)系本站管理員予以更改或刪除。如其他媒體、網(wǎng)站或個(gè)人從本網(wǎng)站下載使用，必須保留本網(wǎng)站注明的"稿件來源"，并自負(fù)版權(quán)等法律責(zé)任。
來源注明“中國考研網(wǎng)”的文章，若需轉(zhuǎn)載請聯(lián)系管理員獲得相應(yīng)許可。
聯(lián)系方式：chinakaoyankefu@163.com
- 2026考研英語全程班 寒假班
- 權(quán)威高配師資親授技巧，教研千錘百煉科學(xué)提分。直錄播課相結(jié)合精講互動(dòng)二合一，專業(yè)團(tuán)隊(duì)精細(xì)化作文批改。講練結(jié)合，隨學(xué)隨練穩(wěn)步提升。支持試聽~
- 主講團(tuán)隊(duì)：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人
本類最新資訊
考研信息 |
考研調(diào)劑 |
真題資料 |
考研分?jǐn)?shù)線 |
研究生院 |
考研國家線
- 2025年中國科學(xué)院金屬研究所碩士研究生招生導(dǎo)師目錄（更新中）
- 沈陽音樂學(xué)院2025年碩士研究生研究方向及導(dǎo)師
- 北京協(xié)和醫(yī)學(xué)院2025年統(tǒng)招碩士招生導(dǎo)師（參考）
- 福建中醫(yī)藥大學(xué)2025年招生導(dǎo)師及研究方向
- 2025年西安郵電大學(xué)碩士研究生招生學(xué)院招生聯(lián)系方式
- 2025年魯迅美術(shù)學(xué)院碩士研究生招生方向及導(dǎo)師一覽表學(xué)術(shù)型匯總
- 2025年魯迅美術(shù)學(xué)院碩士招生方向及導(dǎo)師一覽表專業(yè)學(xué)位型匯總
- 安徽醫(yī)科大學(xué)2025年碩士生招生導(dǎo)師情況公示
- 西南政法大學(xué)做好2024級研究生導(dǎo)師確認(rèn)工作的通知
- 2024級大連大學(xué)碩士研究生與導(dǎo)師雙向選擇報(bào)送的通知
中國科學(xué)技術(shù)大學(xué)考研
- 中國科學(xué)技術(shù)大學(xué)考研分?jǐn)?shù)線
- 中國科學(xué)技術(shù)大學(xué)報(bào)錄情況
- 中國科學(xué)技術(shù)大學(xué)專業(yè)課復(fù)習(xí)資料
- 中國科學(xué)技術(shù)大學(xué)歷年真題下載
- 中國科學(xué)技術(shù)大學(xué)研究生院
重點(diǎn)關(guān)注
熱門課程
考研網(wǎng)課
考研資料
最新資訊
×關(guān)閉
掃碼關(guān)注
了解考研最新消息