南京大学计算机学院冯新宇导师,中国科学技术大学计算机科学与技术专业硕士研究生导师冯新宇...

计算机考研一年比一年火热。对考生而言，充分了解高校、专业以及师资情况是一项最基础、最关键的工作。以下是中公考研小编为大家整理的“中国科学技术大学计算机科学与技术专业硕士研究生导师冯新宇”，希望对2019计算机考研和2018年考研选导师的同学们有所帮助。

​　　冯新宇

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

地址：江苏省苏州市仁爱路166号

邮编：215123

电话：86-512-87161319

个人主页： http://staff.ustc.edu.cn/~xyfeng/

实验室介绍：

个人简历 Personal resume

冯新宇，男，1978年生;教授，博士生导师。分别于1999年和2002年在

南京大学获学士和硕士学位;2007年于耶鲁大学获博士学位。2001年7

月至2002年1月于香港理工大学担任研究助理。2007年9月至2010年5月于

Toyota Technological Institute at Chicago (TTIC)任研究助理教授

(Research Assistant Professor)。2010年5月加入中国科学技术大学

计算机科学与技术学院任教授。主要从事程序验证、并发理论、程序设

计语言理论方面的研究，在 POPL、PLDI、ESOP、ICFP和CONCUR等知名国

际会议和期刊上发表论文10余篇。担任APLAS'11, LOLA'11, TASE'09和

APLAS'08的程序委员会成员。

研究方向 Research direction

1、程序设计语言

2、系统软件

3、形式化程序验证

招生信息 Enrollment information

考试科目：编译原理、操作系统、离散数学等

要求：数学功底好，有志于理论研究

以上是中公考研为大家准备整理的“中国科学技术大学计算机科学与技术专业硕士研究生导师冯新宇”的相关内容。另外，为了帮助考生更好地复习计算机专业课，中公考研为广大学子推出 2019考研全年集训营 、热门高校推免精品班 系列备考专题，中公考研针对每一个科目要点与每年的大纲进行深入并具有针对性的指导分析，欢迎各位考生了解咨询。同时，中公考研一直为大家推出考研直播课堂 ，足不出户就可以边听课边学习，为大家的考研梦想助力!