形式化方法路上的自由探索者——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞

摘要：

人物档案
符鸿飞,上海交通大学电子信息与电气工程学院特别副研究员.兼任CCF形式化方法专委会通讯委员.1984年10月生,德国亚琛工业大学计算机软件与理论博士.多年来致力于探索理论计算机科学中形式化方法领域的理论问题.在理论计算机科学国际著名学术会议及期刊上以主要贡献者身份发表论文15余篇;参与国家自然科学基金重点项目1项;获得国家自然科学青年基金资助项目1项.曾获HSCC最佳学生论文奖、科学中国人电子工程领域2017年度人物称号.

机标关键词：形式化方法、电气工程学、上海交通大学、电子信息、自由探索、工程学院、探索者

分类号：TP311;G642.3;TN915.04

在线出版日期：2018-12-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：25-27