胡凯，北京航空航天大学计算机学院，教授，博士生导师。研究分布式系统和形式化设计验证方法等，与法国INRIA合作成立中法形式化方法联合研究实验室，研究基于模型驱动的关键系统形式化设计与验证方法，发表高水平论文80余篇。主持研发了北航区块链（TrustChain）系列产品，成为业内著名品牌，先后主持国家重点研发、国家基金、教育部基金等国家级科研项目；主编《网络计算新技术》、《分布式计算系统导论》、《区块链原理导论》、《智能合约工程》等著作。兼任北京市计算机学会理事、CCF区块链专委会执委、中国电子学会数字经济百人会执委、区块链专委会执委。曾获中国产学研创新成果二等奖，2022年获GF科技进步二等奖。目前正担任国家重点研发项目首席科学家。
个人主页：https://scse.buaa.edu.cn/info/1078/2676.htm
