胡凯教授研究什么？

数字经济与区块链技术:是中国最早从事区块链技术的研究人员之一。提出并发展了智能合同工程(SCE)、法律代码技术、验证即服务(VaaS)等理论方法。在数字经济与区块链融合、数字经济园区规划与咨询、区块链数字治理、区块链可扩展性、多链互联、区块链形式化验证技术等方面有深入的研究和专利成果。他主持研发了BUAA区块链的一系列产品，包括具有自主知识产权的各种形式的区块链系统、浏览器、显示器、部署工具和区块链大数据管理系统(OpenData)。

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

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

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