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

冯新宇

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

地址：江苏省苏州市仁爱路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考研不懈奋斗。

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

  1. 中国民航大学计算机学院宿舍,中国民航大学计算机科学与技术学院研究生导师简介-谢丽霞_清华大学宿舍...

    姓名 谢丽霞 性别 女 职称 副教授/硕士生导师 学历/学位 研究生/硕士 毕业院校.专业 南开大学软件工程 主要研究方向 网络与信息安全.民航信息系统分析与设计 讲授课程 <计算机大学文化基础 ...

  2. 计算机及应用专插本,2020广东财经大学华商学院专插本计算机科学与技术专业《数据库原理与应用》考试大纲...

    2020广东财经大学华商学院专插本计算机科学与技术专业<数据库原理与应用>考试大纲是什么?即将参加2020广东专插本考试且将广东财经大学华商学院作为目标院校的小伙伴注意啦,此次易学仕小编为 ...

  3. 南京理工大学计算机学院教授严捍,南京理工大学计算机科学与技术学院研究生导师简介-唐金辉...

    南京理工大学计算机科学与技术学院研究生导师简介-唐金辉南京理工大学 免费考研网/2013-12-07 唐金辉研究生导师介绍 姓名:唐金辉性别:男出生年月:1981-2-5 职称:教授办公电话:导师类别 ...

  4. 吉林大学计算机学院王健,吉林大学计算机科学与技术学院研究生导师简介-王　健...

    吉林大学计算机科学与技术学院研究生导师简介-王 健吉林大学 免费考研网/2016-04-07 王健 基本情况 姓名:王健 性别:男 职称:副教授 是否博导:是 最高学历:研究生 最高学位:博士 Ema ...

  5. 许永鑫 南京理工大学计算机学院,南京理工大学计算机科学与技术学院研究生导师简介-付安民...

    南京理工大学计算机科学与技术学院研究生导师简介-付安民南京理工大学 免费考研网/2013-12-07 付安民研究生导师介绍 姓名:付安民性别:男出生年月:1981-5-22 职称:讲师办公电话:025 ...

  6. 山东大学计算机专业郭炅,山东大学计算机科学与技术学院研究生导师简介-郭炅...

    山东大学计算机科学与技术学院研究生导师简介-郭炅山东大学 免费考研网/2016-03-10 郭炅 教授 电子邮件:jguo@sdu.edu.cn 或 jguo@mmci.uni-saarland.de ...

  7. 大连理工计算机专业导师,大连理工大学计算机科学与技术学院研究生导师简介-申彦明...

    大连理工大学计算机科学与技术学院研究生导师简介-申彦明大连理工大学 免费考研网/2016-05-04 申彦明院系:计算机科学与技术学院 办公电话:无 电子信箱:shen@dlut.edu.cn 更新时 ...

  8. 南华大学计算机专业研究生导师,南华大学计算机科学与技术学院研究生导师简介-刘朝晖...

    南华大学计算机科学与技术学院研究生导师简介-刘朝晖南华大学 免费考研网/2015-12-15 刘朝晖 2013-10-28 11:52(点击: ) 刘朝晖,男,副教授,1974年4月29日生,在读博士 ...

  9. 计算机科学技术中的优秀案例,2014级计算机科学与技术专业ppt 大赛活动案例.doc...

    2014级计算机科学与技术专业ppt 大赛活动案例 2014级计算机科学与技术专业PPT 大赛活动方案 一.竞赛目的 大一新生PPT 设计大赛,旨在巩固理论知识掌握的同时,给学生提供一个展示自己的平台 ...

最新文章

  1. 我用kafka两年踩过的一些非比寻常的坑
  2. 40岁后才明白的道理:人一生奋斗余地很有限--转载
  3. 什么叫做石英表_石英表和机械表的区别是什么
  4. python web.py 404_找不到web.py开发服务器-favicon.ico-404
  5. django-shell操作模型类
  6. python 利用递归求阶乘
  7. Linux系统下Lighttpd的安置设置-3
  8. Java — InputStream.read()，response.getOutputStream()，OutputStream().write【IO流】
  9. 通州区机器人比赛活动总结_机器人科技活动总结.doc
  10. 计算机的音量找不到了,win7旗舰版64位系统右下角音量小喇叭图标不见了怎么找回...
  11. minikube start命令的国内使用方法
  12. 51CTO下载-千万级大型系统集成项目
  13. 微信二维码无法下载APK解决方案
  14. cpuz检测硬件真假_难道CPU真的没有真假，只有好坏？
  15. 【打卡-Coggle竞赛学习2023年1月】文本相似度匹配
  16. cv个人计算机SCI英文简历模板,关于英语简历范文
  17. 夜曲歌词 拼音_矢野真纪《夜曲》罗马拼音歌词
  18. from scipy.misc import imread, imresize, imsave 报错的解决方法
  19. Linux下JAVA程序启动脚本(实例)
  20. Nachos实验实现线程id、限制线程数和更改调度算法（按优先级调度）

热门文章

  1. iis5.1安装方法(适用于XP),IIS5.0安装包下载、IIS5.1安装包下载、IIS6.0安装包下载
  2. 应用之星，屌丝逆袭之APP开发神器
  3. spring cloud之Turbine断路器聚合监控（十二）
  4. 自定义实现offsetof
  5. 基于STM8L的NTC热敏检测
  6. 一个简单的权限管理系统
  7. onclick addEventListener
  8. python openpyxl遍历工作表（sheet)
  9. 【Effection C++】读书笔记 条款20～条款23
  10. SSH 连接远端 Ubuntu 服务器设置防火墙，实现只允许白名单访问