北航區塊鏈蔡
㈠ 最近北航胡凱教授很火,請問他的研究方向是什麼
數字經濟和區塊鏈技術:是國內最早從事區塊鏈技術的研究學者之一,提出並發展了智能合約工程(SCE)、法律代碼科技、驗證即服務(VaaS)等理論方法,在數字經濟與區塊鏈結合、數字經濟園區規劃和咨詢、區塊鏈數字治理、區塊鏈可擴展性、多鏈互聯和區塊鏈形式化驗證技術等方面具有深入研究和專利性成果。主持研發了北航區塊鏈(TrustChain)系列產品,包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統(OpenData)。
分布式並行計算和網路:長期從事復雜計算環境下的集群計算系統、高性能計算、航空航天電子匯流排,以及天地一體化網路信息技術研究等,提出和研究了基於狼群的可重組多集群計算理論並應用於實踐,研發了多個應用軟體系統。
形式化設計與驗證方法:與法國圖盧茲計算機研究所(IRIT)和法國自動化所(INRIA)密切合作,創建中法形式化方法聯合研究實驗室,研究基於模型驅動的形式化設計與驗證方法,提出基於AADL和同步語言Signal的多項創新擴展技術,研發了多個模型轉換、驗證和自動代碼生成工具。
近年來在國內外重要學術期刊會議上發表SCI/EI檢索等論文60餘篇,主編《網路計算新技術》(416頁,科學出版社2001年出版),合作完成國家級「十一五」規劃權威教材《分布式計算系統導論》(490餘頁,清華大學出版社2014年出版,獲校2016年教材一等獎,已被十餘所重點大學教材採用)。先後主持和參與多項國家自然基金、國家重點研發項目、863重大項目、軍口863項目、國家核高基項目、航空航天基金,以及多項航空航天領域重要工程項目。獲得國家發明專利和軟著等30餘項,2015年獲航空基金五年成就獎,2018年牽頭「天地一體化信息系統設計驗證與模擬」獲產學研學會二等創新成果獎。
㈡ 胡凱做的北航區塊鏈
胡凱主持研發了北航區塊鏈(TrustChain)系列產品,包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統(OpenData)。
㈢ 北航胡凱教授主要成就有什麼
北航胡凱教授是國內最早從事區塊鏈技術的研究學者之一,提出並發展了智能合約工程(SCE)、法律代碼科技、驗證即服務(VaaS)等理論方法,主持研發了北航區塊鏈(TrustChain)系列產品,包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統(OpenData)。
㈣ 有哪些早期就開始研究區塊鏈技術的企業
2016年3月,榮澤科技董事長兼CEO鍾曉受邀,與知名區塊鏈專家、北航「數字社會與區塊鏈」實驗室負責人蔡維德教授共同訪問英國,參加全球頂尖學術組織IEEE在牛津舉辦的大數據峰會--區塊鏈論壇研討。榮澤科技成為第一批參與全球區塊鏈研討的中國高新技術企業。
㈤ 胡凱教授跟北航鏈有什麼關系
胡凱教授主持研發了北航區塊鏈(TrustChain)系列產品,包括了自主知識產權的各形態區塊鏈系統、瀏覽器、監控器、部署工具和區塊鏈大數據管理系統(OpenData)。
㈥ 目前的區塊鏈聯盟盤點有哪些代表呢
近兩年,區塊鏈聯盟涌現,都有哪些代表呢?
在區塊鏈行業發展早期階段,很多企業、機構等組成區塊鏈聯盟,共享區塊鏈技術研究成果,尋求區塊鏈技術更廣泛的應用。
近兩年,區塊鏈聯盟涌現,截止2017年7月,目前已有由約40多家國際銀行組成的R3、由Linux基金會發起的超級賬本(hyperledger)、位於中國互聯網核心腹地的中關村區塊鏈產業聯盟、由11家機構共同發起的China Ledger聯盟、由25家金融機構聯合成立的金鏈盟、被稱為「俄羅斯版R3」的俄羅斯區塊鏈聯盟、尋求與微金融結合點的區塊鏈微金融產業聯盟、由深圳前海管理局主導的前海國際區塊鏈生態圈聯盟、位於陸家嘴的陸家嘴區塊鏈金融發展聯盟。
眾人拾柴火焰高,眾多機構和人才加入推動區塊鏈的蓬勃發展。
㈦ 胡凱教授算是國內最早研究區塊鏈的專家么
北航胡凱是國內最早從事區塊鏈技術的研究學者之一,提出並發展了智能合約工程(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年牽頭「天地一體化信息系統設計驗證與模擬」獲產學研學會二等創新成果獎。
㈨ 如何評價北航區塊鏈的蔡維德老師的研究成果
區塊鏈和金融技術學最近兩年成為世界投資的熱點,許多國家的中央銀行和商業銀行都在研究相關項目。這是一門跨學科的研究題目,橫跨金融、計算機、法律、通訊、管理、數學、統計、心理、經濟以及社會學。
第一代區塊鏈以比特幣的鏈為代表,第二代以Ripple和以太坊的鏈為代表,這兩代的技術在隱私性以及擴展性都需要改進,和銀行商業應用上有一定距離——特別是在經常被提到的銀行清算結算和股票交易上。
學者們正在研發第三代區塊鏈, 更改區塊鏈的架構以及應用場景。第三代區塊鏈的發展會是基於系統工程、軟體工程、雲計算、大數據、計演算法律學以及應用領域,結合軟體、硬體、通訊技術和一個新的應用思維和流程。
這種新的思維就是數字社會。Gartner Group 認為2016年人類進入數字社會,而區塊鏈就是數字社會中10個重要的技術之一。 這個數字社會研究項目將要改變金融界(包括銀行以及交易所)、法律界、甚至是整個人類社會。
本次演講將提到北航數字社會以及區塊鏈實驗室提出來的新的區塊鏈構架與未來可能的銀行應用場景。
但是具體的研究成果並不清楚,而且現在研究區塊鏈的是非常多的。相關的項目也很多,例如我們熟知的以太坊,分布式內容發布平台DECENT。