1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 沪ICP备12018245号
中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇
冯新宇
单位：计算机科学与技术学院
地址：江苏省苏州市仁爱路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月加入中国科学技术大学
计算机科学与技术学院任教授。主要从事程序验证、并发理论、程序设
计语言理论方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名国
际会议和期刊上发表论文10余篇。担任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委员会成员。
研究方向 Researchdirection
1、程序设计语言
2、系统软件
3、形式化程序验证
来源未注明“中国考研网”的资讯、文章等均为转载，本网站转载出于传递更多信息之目的，并不意味着赞同其观点或证实其内容的真实性，如涉及版权问题，请联系本站管理员予以更改或删除。如其他媒体、网站或个人从本网站下载使用，必须保留本网站注明的"稿件来源"，并自负版权等法律责任。
来源注明“中国考研网”的文章，若需转载请联系管理员获得相应许可。
联系方式：chinakaoyankefu@163.com
- 2026考研英语全程班 寒假班
- 权威高配师资亲授技巧，教研千锤百炼科学提分。直录播课相结合精讲互动二合一，专业团队精细化作文批改。讲练结合，随学随练稳步提升。支持试听~
- 主讲团队：王江涛、谭剑波、董仲蠡、许聪杰、陈志超、潘赟、郑艳彤、易熙人
中国科学技术大学考研
热门课程
考研网课
考研资料
最新资讯
×关闭
扫码关注
了解考研最新消息