Faculty
Email：jt002845@sjtu.edu.cn
Institute：Basic Studies in Computing Science (BASICS)
MainPage：https://jhc.sjtu.edu.cn/~hongfeifu/
Brief Introduction
符鸿飞博士长期从事程序语言与形式化方法领域理论前沿的研究。在POPL、PLDI、CAV、TOPLAS、OOPSLA等国际著名学术会议以及期刊上发表三十余篇基础理论成果。发表概率编程语言专著章节，由剑桥大学出版社出版。指导一名博士生获上海市优秀毕业生。教授离散数学、程序语言理论、模型检验、Python编程等课程。
Education
符鸿飞博士本硕毕业于kaiyun官网入口。博士毕业德国TU9高校联盟亚琛工业大学，师从模型检验领域国际著名专家Joost-Pieter Katoen教授。
Teaching Assignment
离散数学、模型检验、程序语言理论、Python编程等课程
Publications
发表三十余篇基础理论成果，其中二十余篇发表于POPL、PLDI、CAV、OOPSLA、TOPLAS等程序语言与形式化方法领域著名国际会议与期刊。发表概率编程语言专著章节，由剑桥大学出版社出版。
Project Fund
获国家自然科学基金青年以及面上项目资助。获华为胡杨林形式化方法专项资助。
Academic Service
任CCF形式化方法专业委员会委员。任多个国内国际会议与期刊的程序委员会委员与审稿人。
Address: No. 800 Dongchuan Road, Shanghai
Email: https://www.safaricomp.com
Postal Code: 200240
Tel: +86-21-34205058 / 34204728
(Trial Version) Copyright © 2025 School of Computer Science, Shanghai Jiao Tong University. 沪交ICP备2010898
Chinese
