师资队伍

首页 » 师资队伍 » 教师名录 » 符鸿飞

教师名录

符鸿飞 副教授

主页： [点击这里]

办公室电话：

办公地点：软件专家楼1408-1室

电子邮件：fuhf@cs.sjtu.edu.cn

实验室： BASICS实验室

  • 研究兴趣
  • 教育背景
  • 工作经验
  • 教授课程
  • 论文发表
  • 项目资助
  • 获奖信息
  • 学术服务

模型检测、程序验证

2003 - 2007 上海交通大学计算机科学与技术 本科

2007 - 2010 上海交通大学计算机软件与理论 硕士

2010 - 2014 德国亚琛工业大学计算机科学系 博士

目前教授研究生程序语言理论课程
HSCC 2013 最佳学生论文奖
为理论计算机科学国际著名学术期刊和会议Information and Computation, ICALP等审稿20余次。

联系我们 webmaster@cs.sjtu.edu.cn

上海交通大学计算机科学与工程系版权所有 @ 2013