北航区块链蔡

㈠ 最近北航胡凯教授很火，请问他的研究方向是什么

数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（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。