中国科学技术大学计算机苏州,中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇...

院校研究生导师对于日后的研究生生涯起到重要的指导作用，因此对目标院校研究生导师一定要了解。以下是中公考研小编为大家整理的“中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇”的相关内容，希望对考研的同学有所帮助，一起来了解一下吧!

冯新宇

单位：计算机科学与技术学院

地址：江苏省苏州市仁爱路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、形式化程序验证

以上是中公考研为大家准备整理的“中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇”的相关内容，同学们把握机遇，为2019考研不懈奋斗。