胡凯教授的区块链研究有什么？

胡凯教授做的研究主要有：

数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。

分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。

形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。

近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。

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

胡凯，男，1961年10月生，江西吉安人，汉族，中共党员，博士，南京大学地球科学与工程学院教授。1980年考入南京大学地质系。1984年、1987年先后获得南京大学学士、硕士学位。1987.9-1990.3攻读博士学位，1990.4—1991.11被国家教委选派留学澳大利亚联邦科学研究院(CSIRO)，1992年12月获南京大学与澳大利亚联合培养博士学位。1992年7月留校任助教。1993年10月晋升讲师、硕士生导师。 1995年3月晋升副教授。1998.11—1999.10在德国Tuebingen大学做访问学者。2001年4月晋升教授，2002年3月任博士生导师。1992.7—1994.7兼任地球科学系本科生政治辅导员。1994.9—2001.11任矿床地球化学教研室副主任、党支部书记。2001.12—2006.1任地球科学系系主任，兼任南京大学校务委员会委员、南京大学教学委员会委员、江苏省地质学会副理事长、《高校地质学报》和《石油勘探与开发》编委。(摘录百度百科)

数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。

分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。

形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。

近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。