| 加入桌面 | 手机版 | 无图版
中国科技创新网 官方网站
人才招聘
人才招聘
发布信息
发布信息
会员中心
会员中心

符鸿飞——上海交通大学电子信息与电气工程学院特别副研究员

点击图片查看原图
 
有效期至: 长期有效
最后更新: 2020-01-06
 
还不是会员,立即免费注册
免费注册为会员后,您可以...
发布专家信息 推广科研成果
建立专家网页 在线洽谈生意
还不是会员,立即免费注册
还不是会员,立即免费注册
 
 

符鸿飞,1984年10月生,德国亚琛工业大学计算机软件与理论博士。上海交通大学约翰·霍普克罗夫特计算机科学中心助理教授。上海交通大学电子信息与电气工程学院特别副研究员。兼任CCF形式化方法专委会通讯委员。

2010年赴德国亚琛工业大学计算机科学系攻读形式化方法相关的博士学位,读博期间,符鸿飞主要研究概率系统形式化验证。花费4年时间顺利拿到博士学位之后,符鸿飞开展了博士后研究,和奥地利科学技术研究院(IST Austria)的Krishnendu Chatterjee教授合作研究概率程序的形式化验证,并发表了多篇关于基础理论的结果。

符鸿飞长期致力于探索理论计算机科学中形式化方法领域的理论问题。在理论计算机科学国际著名学术会议上以主要贡献者身份发表论文10余篇;参与国家自然科学基金重点项目1项;获得国家自然科学青年基金资助1项。

教育及工作经历:

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

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

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

学术兼职:

为理论计算机科学国际著名学术会议和期刊ICALP、VMCAI、FOSSACS、Information and Computation、Information Processing Letter等审稿30余篇。

 

中国科技创新人物云平台暨“互联网+”科技创新人物开放共享平台(简称:中国科技创新人物云平台)免责声明:  

    1、中国科技创新人物云平台是:“互联网+科技创新人物”的大型云平台,平台主要发挥互联网在生产要素配置中的优化和集成作用,将互联网与科技创新人物的创新成果深度融合于经济社会各领域之中,提升实体经济的创新力和生产力,形成更广泛的以互联网为基础设施和实现工具的经济发展新形态,实现融合创新,为大众创业,万众创新提供智力支持,为产业智能化提供支撑,加快形成经济发展新动能,促进国民经济提质增效升级。

2、中国科技创新人物云平台暨“互联网+”科技创新人物开放共享平台内容来源于互联网,信息都是采用计算机手段与相关数据库信息自动匹配提取数据生成,并不意味着赞同其观点或证实其内容的真实性,如果发现信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。  

3、如果您认为本词条还有待完善,请编辑词条

4、如果发现中国科技创新人物云平台提供的内容有误或转载稿涉及版权等问题,请及时向本站反馈,网站编辑部邮箱:kjcxac@126.com。

5、中国科技创新人物云平台建设中尽最大努力保证数据的真实可靠,但由于一些信息难于确认不可避免产生错误。因此,平台信息仅供参考,对于使用平台信息而引起的任何争议,平台概不承担任何责任。

 
更多..同类创新人物
 
 
Powered by kjcx.ac.cn 9.0
购物车(0)    站内信(0)     新对话(0)