院校研究生导师对于日后的研究生生涯起到重要的指导作用,因此对目标院校研究生导师一定要了解。以下是中公考研小编为大家整理的“中国科学技术大学计算机科学与技术专业研究生导师介绍:冯新宇”的相关内容,希望对考研的同学有所帮助,一起来了解一下吧!
冯新宇
单位:计算机科学与技术学院
地址:江苏省苏州市仁爱路166号
邮编:215123
电话:86-512-87161319
个人主页:http://staff./~xyfeng/
个人简历 Personalresume
冯新宇,男,1978年生;教授,博士生导师。分别于1999年和2002年在
南京大学获学士和硕士学位;于耶鲁大学获博士学位。2001年7
月至2002年1月于香港理工大学担任研究助理。9月至5月于
ToyotaTechnologicalInstituteatChicago(TTIC)任研究助理教授
(ResearchAssistantProfessor)。5月加入中国科学技术大学
计算机科学与技术学院任教授。主要从事程序验证、并发理论、程序设
计语言理论方面的研究,在POPL、PLDI、ESOP、ICFP和CONCUR等知名国
际会议和期刊上发表论文10余篇。担任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委员会成员。
研究方向 Researchdirection
1、程序设计语言
2、系统软件
3、形式化程序验证
以上是中公考研为大家准备整理的“中国科学技术大学计算机科学与技术专业研究生导师介绍:冯新宇”的相关内容,同学们把握机遇,为考研不懈奋斗。
中国科学技术大学计算机苏州 中国科学技术大学计算机科学与技术专业研究生导师介绍:冯新宇...