教师名录

符鸿飞 特别副研究员

主页: [点击这里]

办公室电话:

办公地点:软件大楼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