區塊鍊技術研究與發展

講座主題：區塊鍊技術研究與發展

講座時間:5月21日（周一）10：00到12：00

講座地點: BETVLCTOR伟德官方网站216

講座内容簡介：區塊鍊是近年來最熱的技術之一，涉及到計算機、物流、醫療、版權、法律等多個行業，它被稱為下一代互聯網，正将信息互聯網轉換為價值互聯網，也受到政府、企業、高校、研究所的廣泛關注和研究。目前，區塊鍊和智能合約已經表現出強大應用前景，和大數據、雲計算、物聯網等技術有效結合在一起，正在逐步改變着人類的工作、生活和思維方式，構建一種新的社會信任機制，具有巨大的發展空間。

主講嘉賓：胡 凱

嘉賓簡介：胡凱教授，北京航空航天大學計算機學院，北京市計算機學會理事。研究方向包括分布式計算系統、區塊鍊和智能合約、形式化方法等。2001~2003年在新加坡南洋理工大學任研究員（Research Fellow），參與多國合作的新加坡國家重點項目；2011年受邀任法國雷恩一大短期客座教授；2014年美國亞利桑那州立大學訪問學者。與法國自動化所（INRIA）成立了聯合實驗室，研究基于模型驅動的形式化設計與驗證方法，以及新一代分布式技術區塊鍊和智能合約的研究應用。是國内區塊鍊技術的早期實踐者，提出了驗證即服務（VaaS）、智能合約工程和法律代碼技術等新技術思想和方法，主編《網絡計算新技術》、國家級“十一五”規劃教材《分布式計算系統導論》等著作。先後主持十幾項國家自然基金項目、國家863項目、國家核高基項目、航空航天基金以及多項重要航空航天領域項目。

BETVLCTOR伟德官方网站、科研處