胡凱(北京航空航天大學教授)

胡凱，男，博士，教授，博士生導師，北京市計算機學會理事、北京航空航天大學計算機學院教授、北航雲南創新研究院數字經濟研究中心主任、雲南省區塊鏈聯盟副理事⻓。北航計算機學院系統結構學科，分散式系統研究方向。

基本介紹

• 中文名：胡凱
• 職業：北京航空航天大學計算機學院教授
• 專業方向：分散式系統研究

人物簡介

胡凱，男，博士，教授，博士生導師，北京市計算機學會理事、北京航空航天大學計算機學院教授、北航雲南創新研究院數字經濟研究中心主任、雲南省區塊鏈聯盟副理事⻓。北航計算機學院系統結構學科，分散式系統研究方向。

2001年在北航計算機系獲博士學位，2001~2003年在新加坡南洋理工大學任研究員（ResearchFellow），參與多國合作的新加坡國家重點項目，合著英文專著《AnatomyofHCTS》（2006年,NUSPublishing）。2004年人才引進回國加入北航計算機學院。2011年受邀在法國雷恩一大和INRIA（雷恩）任短期客座教授，從事實時系統形式化方法的研究，並較早在國內引進了相關技術研究套用。2014年在美國亞利桑那州立大學做訪問學者。早期曾任航空部某研究院計算機研究室主任。

研究內容

數字經濟和區塊鏈技術：是國內最早從事區塊鏈技術的研究學者之一，提出並發展了智慧型契約工程（SCE）、法律代碼科技、驗證即服務（VaaS）等理論方法，在數字經濟與區塊鏈結合、數字經濟園區規劃和諮詢、區塊鏈數字治理、區塊鏈可擴展性、多鏈互聯和區塊鏈形式化驗證技術等方面具有深入研究和專利性成果。主持研發了北航區塊鏈（TrustChain）系列產品，包括了自主智慧財產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統（OpenData）。

分散式並行計算和網路：長期從事複雜計算環境下的集群計算系統、高性能計算、航空航天電子匯流排，以及天地一體化網路信息技術研究等，提出和研究了基於狼群的可重組多集群計算理論並套用於實踐,研發了多個套用軟體系統。

形式化設計與驗證方法：與法國土魯斯計算機研究所（IRIT）和法國自動化所（INRIA）密切合作，創建中法形式化方法聯合研究實驗室，研究基於模型驅動的形式化設計與驗證方法，提出基於AADL和同步語言Signal的多項創新擴展技術，研發了多個模型轉換、驗證和自動代碼生成工具。

近年來在國內外重要學術期刊會議上發表SCI/EI檢索等論文60餘篇，主編《網路計算新技術》（416頁，科學出版社2001年出版），合作完成國家級“十一五”規劃權威教材《分散式計算系統導論》（490餘頁，清華大學出版社2014年出版,獲校2016年教材一等獎，已被十餘所重點大學教材採用）。先後主持和參與多項國家自然基金、國家重點研發項目、863重大項目、軍口863項目、國家核高基項目、航空航天基金，以及多項航空航天領域重要工程項目。獲得國家發明專利和軟著等30餘項，2015年獲航空基金五年成就獎，2018年牽頭“天地一體化信息系統設計驗證與仿真”獲產學研學會二等創新成果獎。