| 加入桌面 | 手機版 | 無圖版
中國科技創新網 官方網站
人才招聘
人才招聘
發布信息
發布信息
會員中心
會員中心

符鴻飛——上海交通大學電子信息與電氣工程學院特別副研究員

點擊圖片查看原圖
 
有效期至: 長期有效
最后更新: 2020-01-06
 
還不是會員,立即免費注冊
免費注冊為會員后,您可以...
發布專家信息 推廣科研成果
建立專家網頁 在線洽談生意
還不是會員,立即免費注冊
還不是會員,立即免費注冊
 
 

符鴻飛,1984年10月生,德國亞琛工業大學計算機軟件與理論博士。上海交通大學約翰·霍普克羅夫特計算機科學中心助理教授。上海交通大學電子信息與電氣工程學院特別副研究員。兼任CCF形式化方法專委會通訊委員。

2010年赴德國亞琛工業大學計算機科學系攻讀形式化方法相關的博士學位,讀博期間,符鴻飛主要研究概率系統形式化驗證;ㄙM4年時間順利拿到博士學位之后,符鴻飛開展了博士后研究,和奧地利科學技術研究院(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、如果發現中國科技創新人物云平臺提供的內容有誤或轉載稿涉及版權等問題,請及時向本站反饋,網站編輯部郵箱:[email protected]。

5、中國科技創新人物云平臺建設中盡最大努力保證數據的真實可靠,但由于一些信息難于確認不可避免產生錯誤。因此,平臺信息僅供參考,對于使用平臺信息而引起的任何爭議,平臺概不承擔任何責任。

 
更多..同類創新人物
 
 
Powered by kjcx.ac.cn 9.0
購物車(0)    站內信(0)     新對話(0)
爱玩棋牌大厅 打死都不赌分分彩 福彩3d2019.074期图 加拿大快乐八开奖 大发一分快3规律 河北十一选五一定 北京pk拾稳赚技巧 广东快乐十分现场开奖走势图 江苏11选五怎么中奖 广西快3大小单双技巧 广西11选5开奖号码一定牛