區塊鏈北航教授

① 胡凱教授跟北航鏈有什麼關系

胡凱教授主持研發了北航區塊鏈（TrustChain）系列產品，包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統（OpenData）。

② 胡凱教授的區塊鏈研究有什麼

胡凱教授做的研究主要有：
數字經濟和區塊鏈技術：是國內最早從事區塊鏈技術的研究學者之一，提出並發展了智能合約工程（SCE）、法律代碼科技、驗證即服務（VaaS）等理論方法，在數字經濟與區塊鏈結合、數字經濟園區規劃和咨詢、區塊鏈數字治理、區塊鏈可擴展性、多鏈互聯和區塊鏈形式化驗證技術等方面具有深入研究和專利性成果。主持研發了北航區塊鏈（TrustChain）系列產品，包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統（OpenData）。
分布式並行計算和網路：長期從事復雜計算環境下的集群計算系統、高性能計算、航空航天電子匯流排，以及天地一體化網路信息技術研究等，提出和研究了基於狼群的可重組多集群計算理論並應用於實踐,研發了多個應用軟體系統。
形式化設計與驗證方法：與法國圖盧茲計算機研究所（IRIT）和法國自動化所（INRIA）密切合作，創建中法形式化方法聯合研究實驗室，研究基於模型驅動的形式化設計與驗證方法，提出基於AADL和同步語言Signal的多項創新擴展技術，研發了多個模型轉換、驗證和自動代碼生成工具。
近年來在國內外重要學術期刊會議上發表SCI/EI檢索等論文60餘篇，主編《網路計算新技術》（416頁，科學出版社2001年出版），合作完成國家級「十一五」規劃權威教材《分布式計算系統導論》（490餘頁，清華大學出版社2014年出版,獲校2016年教材一等獎，已被十餘所重點大學教材採用）。先後主持和參與多項國家自然基金、國家重點研發項目、863重大項目、軍口863項目、國家核高基項目、航空航天基金，以及多項航空航天領域重要工程項目。獲得國家發明專利和軟著等30餘項，2015年獲航空基金五年成就獎，2018年牽頭「天地一體化信息系統設計驗證與模擬」獲產學研學會二等創新成果獎。

③ 胡凱做的北航區塊鏈

胡凱主持研發了北航區塊鏈（TrustChain）系列產品，包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統（OpenData）。

④ 王福重為什麼被北航開除

王福重因為詛咒「天宮一號」被北航開除。

2011年9月29日，天宮一號發射當晚，王福重將微博個人簽名修改為「祈禱發射失敗」。這一言論遭到網友們的謾罵和指責，有人扒出他的任職單位——北京航空航天大學，並譴責他身為教授還出言惡毒。

北京航空航天大學在次日火速發表聲明，稱其已於2010年1月離職。但坊間流傳更多的版本是，他「因詛咒天宮一號被北航開除」。

(4)區塊鏈北航教授擴展閱讀

2011年9月29日天宮一號發射當晚，有網友發現用戶王福重的個人認證簽名修改成了「祈禱發射失敗」。此言論引發眾多網友批評。有網友爆料其身份為北航教授，鑒於此，網友認為其言論尤其不合適。

北航表示北航師生以振興祖國航空航天事業為己任，對「天宮一號」目標飛行器的成功發射感到由衷高興！對祖國航天事業的發展和取得的輝煌成就感到十分驕傲！對廣大校友為航天事業做出的突出貢獻感到無比自豪！對有關針對「天宮一號」目標飛行器的不良言論表示極大憤慨！

⑤ 胡凱教授算是國內最早研究區塊鏈的專家么

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

⑥ 胡凱教授在區塊鏈領域有哪些成就

國內最早從事區塊鏈技術的研究學者之一，提出並發展了智能合約工程（SCE）、法律代碼科技、驗證即服務（VaaS）等理論方法，在數字經濟與區塊鏈結合、數字經濟園區規劃和咨詢、區塊鏈數字治理、區塊鏈可擴展性、多鏈互聯和區塊鏈形式化驗證技術等方面具有深入研究和專利性成果。

⑦ 如何評價北航區塊鏈的蔡維德老師的研究成果

區塊鏈和金融技術學最近兩年成為世界投資的熱點，許多國家的中央銀行和商業銀行都在研究相關項目。這是一門跨學科的研究題目，橫跨金融、計算機、法律、通訊、管理、數學、統計、心理、經濟以及社會學。
第一代區塊鏈以比特幣的鏈為代表，第二代以Ripple和以太坊的鏈為代表，這兩代的技術在隱私性以及擴展性都需要改進，和銀行商業應用上有一定距離——特別是在經常被提到的銀行清算結算和股票交易上。
學者們正在研發第三代區塊鏈, 更改區塊鏈的架構以及應用場景。第三代區塊鏈的發展會是基於系統工程、軟體工程、雲計算、大數據、計演算法律學以及應用領域，結合軟體、硬體、通訊技術和一個新的應用思維和流程。
這種新的思維就是數字社會。Gartner Group 認為2016年人類進入數字社會，而區塊鏈就是數字社會中10個重要的技術之一。 這個數字社會研究項目將要改變金融界（包括銀行以及交易所）、法律界、甚至是整個人類社會。
本次演講將提到北航數字社會以及區塊鏈實驗室提出來的新的區塊鏈構架與未來可能的銀行應用場景。
但是具體的研究成果並不清楚，而且現在研究區塊鏈的是非常多的。相關的項目也很多，例如我們熟知的以太坊，分布式內容發布平台DECENT。

⑧ 北京航空航天大學的胡凱教授主要研究什麼

北航計算機學院系統結構學科，分布式系統研究方向，主要研究數字經濟和區塊鏈技術、分布式並行計算和網路、形式化設計與驗證方法

⑨ 北航胡凱教授主要成就有什麼

北航胡凱教授是國內最早從事區塊鏈技術的研究學者之一，提出並發展了智能合約工程（SCE）、法律代碼科技、驗證即服務（VaaS）等理論方法，主持研發了北航區塊鏈（TrustChain）系列產品，包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統（OpenData）。

⑩ 最近北航胡凱教授很火，請問他的研究方向是什麼

數字經濟和區塊鏈技術：是國內最早從事區塊鏈技術的研究學者之一，提出並發展了智能合約工程（SCE）、法律代碼科技、驗證即服務（VaaS）等理論方法，在數字經濟與區塊鏈結合、數字經濟園區規劃和咨詢、區塊鏈數字治理、區塊鏈可擴展性、多鏈互聯和區塊鏈形式化驗證技術等方面具有深入研究和專利性成果。主持研發了北航區塊鏈（TrustChain）系列產品，包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統（OpenData）。
分布式並行計算和網路：長期從事復雜計算環境下的集群計算系統、高性能計算、航空航天電子匯流排，以及天地一體化網路信息技術研究等，提出和研究了基於狼群的可重組多集群計算理論並應用於實踐,研發了多個應用軟體系統。
形式化設計與驗證方法：與法國圖盧茲計算機研究所（IRIT）和法國自動化所（INRIA）密切合作，創建中法形式化方法聯合研究實驗室，研究基於模型驅動的形式化設計與驗證方法，提出基於AADL和同步語言Signal的多項創新擴展技術，研發了多個模型轉換、驗證和自動代碼生成工具。
近年來在國內外重要學術期刊會議上發表SCI/EI檢索等論文60餘篇，主編《網路計算新技術》（416頁，科學出版社2001年出版），合作完成國家級「十一五」規劃權威教材《分布式計算系統導論》（490餘頁，清華大學出版社2014年出版,獲校2016年教材一等獎，已被十餘所重點大學教材採用）。先後主持和參與多項國家自然基金、國家重點研發項目、863重大項目、軍口863項目、國家核高基項目、航空航天基金，以及多項航空航天領域重要工程項目。獲得國家發明專利和軟著等30餘項，2015年獲航空基金五年成就獎，2018年牽頭「天地一體化信息系統設計驗證與模擬」獲產學研學會二等創新成果獎。