伟德国际(betvlctor·1946)始于英国-Macau Bellwether

团队队伍

人才培养

您当前所在的位置：首页 > 团队队伍 > 教师名录

团队队伍

教师名录

院士学者

国家级人才

退休教师

人才招聘

教师名录

符鸿飞

长聘教轨副教授

邮箱：jt002845@sjtu.edu.cn

所在研究所：理论计算机科学研究所

个人主页：https://jhc.sjtu.edu.cn/~hongfeifu/

个人简介

符鸿飞博士长期从事程序语言与形式化方法领域理论前沿的研究。在POPL、PLDI、CAV、TOPLAS、OOPSLA等国际著名学术会议以及期刊上发表三十余篇基础理论成果。发表概率编程语言专著章节，由剑桥大学出版社出版。指导一名博士生获上海市优秀毕业生。教授离散数学、程序语言理论、模型检验、Python编程等课程。

教育背景

符鸿飞博士本硕毕业于1946伟德国际源自英国。博士毕业德国TU9高校联盟亚琛工业大学，师从模型检验领域国际著名专家Joost-Pieter Katoen教授。

教授课程

离散数学、模型检验、程序语言理论、Python编程等课程

论文发表

发表三十余篇基础理论成果，其中二十余篇发表于POPL、PLDI、CAV、OOPSLA、TOPLAS等程序语言与形式化方法领域著名国际会议与期刊。发表概率编程语言专著章节，由剑桥大学出版社出版。

资助项目

获国家自然科学基金青年以及面上项目资助。获华为胡杨林形式化方法专项资助。

学术服务

任CCF形式化方法专业委员会委员。任多个国内国际会议与期刊的程序委员会委员与审稿人。