区块链北航教授

① 胡凯教授跟北航链有什么关系

胡凯教授主持研发了北航区块链（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年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。