访问量:24643
 
冯新宇
单位:计算机科学与技术学院
地址:江苏省苏州市仁爱路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
考试科目:编译原理、操作系统、离散数学等
要求:数学功底好,有志于理论研究
 
论文专著 The monograph
 
报考意向 Ambition
 
 
COPYRIGHT 2007 中国科学技术大学研究生院、校学位办 All Rights Reserved 地址:安徽省合肥市金寨路96号 邮编:230026。
TEL:+86-551-63602928 FAX:+86-551-63602179 E-mail:gradschl@ustc.edu.cn