|
|
冯新宇单位：计算机科学与技术学院地址：江苏省苏州市仁爱路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的程序委员会成员。
研究方向 Researchdirection1、程序设计语言2、系统软件3、形式化程序验证 |
|
窥视卡
雷达卡
发表于 2019-8-12 23:58:04
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
千斤顶
照妖镜