胡凯 - 北京航空航天大学

个人简介

胡凯，博士，教授，博士生导师，北京市计算机学会理事。北航计算机学院系统结构学科，分布式系统研究方向。 2001年在北航计算机系获博士学位，2001~2003年在新加坡南洋理工大学任研究员（Research Fellow），参与多国合作的新加坡国家重点项目，合著英文专著《Anatomy of HCTS》（2006年,NUS Publishing）。2004年回国加入北航计算机学院。2011年受邀在法国雷恩一大短期客座访问，2014年在美国亚利桑那州立大学做访问学者。之前曾在航空院所工作多年，任主任设计师，主持和参与了多项航空系统大型项目研发。

研究领域

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

区块链技术与数字经济：是国内较早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。研发了北航区块链相关系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）等自主知识产权系列产品，已经应用在多个重要领域。分布式并行计算和网络：长期从事复杂计算环境下的分布式计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）学术合作，成立了形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，研发了多个模型转换、验证和自动代码生成工具，应用在航空航天安全关键实时系统、区块链和智能合约的验证等。