區塊鏈形式化

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

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

❷ 胡凱教授的履歷是什麼

胡凱，男，博士，教授，博士生導師，北京市計算機學會理事、北京航空航天大學計算機學院教授 [1] 、北航雲南創新研究院數字經濟研究中心主任、 [2-3] 雲南省區塊鏈聯盟副理事⻓ [4-5] 。北航計算機學院系統結構學科，分布式系統研究方向。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年牽頭「天地一體化信息系統設計驗證與模擬」獲產學研學會二等創新成果獎。

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

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

❺ 成都鏈安科技有限公司怎麼樣

簡介：成都鏈安科技研製出了第一個高度自動化的區塊鏈形式化驗證平台VaaS（Verification as a Service），為智能合約和區塊鏈應用提供「軍事級」的形式化驗證服務。
法定代表人：楊霞
成立時間：2018-03-29
注冊資本：116.6352萬人民幣
企業類型：有限責任公司(自然人投資或控股)
公司地址：成都市成華區二環路東二段508號7層714號房

❻ 胡凱教授主要研究了區塊鏈和數字經濟的哪些方面

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

❼ 北京將實行京津冀職稱評審結果互認，此政策的目的是什麼

北京市人力資源和社會保障局發布關於印發《北京市職稱評審管理暫行辦法》的通知，該辦法規定，實行京津冀職稱資格互認，津冀兩地的職稱證書在北京市職稱晉升、崗位聘用、人才引進、培養選拔、服務保障等領域與北京市證書具有同等效力。北京出台該項政策的具體目的是什麼，下面具體介紹：

這項政策出台就是為了能夠讓在天津和河北工作的政府官員能夠安心工作，使得京津冀協同發展戰略能夠順順利利實行下去。通過這一方面的互相信任，使得這類官員能夠在天津和河北大有所為，使得他們在天津和河北的政界也能夠讓中央看到能夠切實的保障這些在天津河北官員的正當權益。同時，在發展過程中，也能夠讓這些官員能夠和北京的官員享受到一樣的待遇，同時還能夠接受相關的培養和學習。這對於提高整體的官員素質來說，是一個非常好的消息。

三、促進京津冀地區教育工作的發展。有了這項決策，教師不必在根據地域來挑選學校，也能夠促進河北和天津等地的教育資源和諧發展，能夠使得河北和天津的學校能夠吸引到更加有實力的教師來進行工作，這對於河北天津的教育行業也是一個好消息。

❽ 區塊鏈能解決什麼問題

區塊鏈技術是以「機器代碼、形式化證明、去中心化、分布式、信息系統」的方式提供了一種機器信任，這種機器信任不再需要藉助第三方中心化的組織，在機器信任基礎之上，彼此之間即便不認識，人們也可以開展合作與交易。GTA 正是依託區塊鏈強大的技術功能，顛覆了基因科技傳統的商業模式，利用密碼學技術確認個人基因數據主權，保護個人信息隱私。利用通證經濟激勵機制促使大規模的個人用戶、市場推廣者、基因測序機構、數據存儲機構、數據使用機構積極參與和協作，從而快速聚集起大量的基因數據；繼而以基因大數據在生命健康領域的廣泛應用實現商業價值。

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

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