姓名

胡凯

系、部门

计算机系

职称/职务

教授

导师类别

硕士生导师

学位

博士

电话

010-82339460

电子邮箱

hukai@buaa.edu.cn

办公地点

北京航空航天大学新主楼G1041

研究方向

分布式系统

个人情况简介

目前主要研究内容包括：

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

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

形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。主编国内首个形式化方法标准“区块链智能合约形式化设计与验证（JT/CIE 194—2021）”

2004年以来，培养博硕士研究生60余人，其中多人获校院优秀毕业生，就业单位多为航空航天和IT名企，多人到美、法等国深造和工作。 近年来在国内外重要学术期刊会议上发表SCI/EI检索论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），联合主编国家级“十一五”规划教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版）。先后主持和参与多项国家自然基金、教育部产业基金、863重大项目以及多项航空航天领域项目。获得国家发明专利和软著40余项，2015年获航空基金委5年优秀成果奖，2018年中国产学研创新成果二等奖。

学习工作经历

（按时间经历倒序）

2014-至今年在国内最早从事数字社会与区块链技术研究与应用的专家学者。

2014年 在美国亚利桑那州立大学做访问学者。早期曾任航空部某研究院计算机研究室主任。

2011年 受邀在法国雷恩一大和INRIA（雷恩）任短期客座教授，从事实时系统形式化方法的研究，并较早在国内引进了相关技术研究应用。

2004年 人才引进回国加入北航计算机学院。

2001-2003年 在新加坡南洋理工大学任研究员（Research Fellow），参与多国合作的新加坡国家重点项目，合著英文专著《Anatomy of HCTS》（2006年,NUS Publishing）。

2001年 在北航计算机系获博士学位，

代表性成果（每类不超过10个）

（1）获奖情况

1、2023年获国防科学技术进步奖二等奖

2、2018年获中国产学研合作创新成果奖二等奖

（2）教学/科研项目

1、国家重点研发计划项目，基于区块链的可信碳交易与碳中和管理示范应用（2022YFB2703500），2022-2025，在研，主持

2、教育部-中国移动科研基项目,面向金融行业的区块链技术及其应用研究（MCM20180104），2019-2022，已结题，主持

3、国家242信息安全专项，可扩展区块链云平台基础协议和关键算法研究（2017A144），2017-2020，已结题，主持

4、云南省科技入滇专项，云南省区块链底层链平台研制（202103AN080001-001），2021-2023，在研，主持

5、云南省科技计划项目课题，云南省自主可控区块链基础服务平台关键技术研究及应用示范（202102AD080006），2021-2023，在研，主持

6、云南省重大科技专项，生物资源数字化开发应用项目(202002AA100007)，2020-2023，在研，参与

7、云南省重大科技专项课题，基于服务智能合约的云南稀贵金属材料基因数据可信交易技术研发项目(202002AB080001-8)，2020-2022，已结题，参与

（3）论文

1、 Wan J ,Hu K , Li J ,et al.Smart Contract Service Optimization in Blockchain-Cloud Collaborative Computing.2023 24th IEEE International Conference on Mobile Data Management (MDM).2023.（已录用）

2、朱健,胡凯,王军等.基于Event-B的可靠智能合约自动生成方法.计算机科学,2023

3、刘浩宇,马泽祁,叶亚飞,胡凯等.链上链下协同的智能合约即服务问题研究.北京航空航天大学学报,2023

4、张伯钧,李洁,胡凯等.基于区块链的分布式加密投票系统.计算机科学,2022

5、王子凯,朱健,张伯钧、胡凯等.区块链与智能合约并行方法研究与实现.计算机科学,2022

6、Wan J ,Hu K , Jie L ,et al.AnonymousFox: An Efficient and Scalable Blockchain Consensus Algorithm.IEEE Internet of Things Journal,2022

7、Jie Li ,Kai Hu, Jian zhu,et al.Formal modelling of PBFT consensus algorithm in Event-B.Wireless Communications and Mobile Computing,2022

8、张伯钧,郭一晨,王子凯,胡凯等.基于智能合约的数据共享激励机制研究.计算机工程,2022.

9、朱健,胡凯,张伯钧.智能合约的形式化验证方法研究综述.电子学报,2021

10、Hu K , Wan J , Luo K ,et al.Verification algebra for multi‐tenant applications in VaaS architecture.Software Testing Verification and Reliability, 2021

（4）知识产权

1、胡凯,刘浩宇,马泽祁. 一种基于去中心化数字身份的链下服务可信化方法, 发明专利,受理时间: 2023.08

2、胡凯,万季.一种区块链主节点匿名排序方法, 发明专利, 授权时间: 2023.07

3、胡凯,陈回归,冯艳等, 基于区块链技术和属性加密的数据访问控制方法，发明专利, 授权时间: 2023.07

4、胡凯,解安可,杨燕等.基于联盟链与属性加密的空铁联运数据共享系统，发明专利, 授权时间: 2022.12

5、胡凯,解安可,杨燕等.一种基于智能合约的云原生应用开发与部署系统和方法，发明专利, 授权时间: 2022.09

6、胡凯，杨燕，解安可等.基于区块链技术的生物数字资产确权系统和方法，发明专利, 授权时间: 2022.10

7、胡凯,万季,任旖航等.一种基于负载均衡的区块链节点树形分片方法，发明专利, 授权时间: 2022.10

8、胡凯,黄洁华,白晓敏等.一种私有区块链的智能合约异步执行存储系统与实现方法，发明专利, 授权时间: 2019.10

9、胡凯、丁毅、赵祯龙等.一种基于树状架构的初始化方法，发明专利, 授权时间: 2015.04

10、胡凯、张腾、杨志斌等.TASM2UPPAAL模型转换方法，发明专利, 授权时间:2014.11

（5）专著、教材

1、胡凯. 网络计算新技术, 科学出版社, 2001.

2、胡建平、胡凯.分布式计算系统导论——原理与组成，清华大学出版社，2014.

主讲课程

1、分布式计算原理，本科生课程

2、区块链与数字经济，本科生课程

3、分布式操作系统，研究生课程

指导学生竞赛