胡凱，博士，教授，博士生導(dǎo)師，北京市計算機學(xué)會理事。北航金年會誠信信譽至上系統(tǒng)結(jié)構(gòu)學(xué)科，分布式系統(tǒng)研究方向。2001年在北航計算機系獲博士學(xué)位，2001~2003年在新加坡南洋理工大學(xué)任研究員（Research Fellow），參與多國合作的新加坡國家重點項目，合著英文專著《Anatomy of HCTS》（2006年,NUS Publishing）。2004年回國加入北航金年會誠信信譽至上。2011年受邀在法國雷恩一大短期客座訪問，2014年在美國亞利桑那州立大學(xué)做訪問學(xué)者。之前曾在航空院所工作多年，任主任設(shè)計師，主持和參與了多項航空系統(tǒng)大型項目研發(fā)。
目前主要研究內(nèi)容包括：
區(qū)塊鏈技術(shù)與數(shù)字經(jīng)濟(jì)：是國內(nèi)較早從事區(qū)塊鏈技術(shù)的研究學(xué)者之一，提出并發(fā)展了智能合約工程（SCE）、驗證即服務(wù)（VaaS）等理論方法，在數(shù)字經(jīng)濟(jì)與區(qū)塊鏈結(jié)合、數(shù)字經(jīng)濟(jì)園區(qū)規(guī)劃和咨詢、區(qū)塊鏈數(shù)字治理、區(qū)塊鏈可擴(kuò)展性、多鏈互聯(lián)和區(qū)塊鏈形式化驗證技術(shù)等方面具有深入研究和專利性成果。研發(fā)了北航區(qū)塊鏈相關(guān)系統(tǒng)、瀏覽器、監(jiān)控器、部署工具和區(qū)塊鏈大數(shù)據(jù)管理系統(tǒng)（OpenData）等自主知識產(chǎn)權(quán)系列產(chǎn)品，已經(jīng)應(yīng)用在多個重要領(lǐng)域。
分布式并行計算和網(wǎng)絡(luò)：長期從事復(fù)雜計算環(huán)境下的分布式計算系統(tǒng)、高性能計算、航空航天電子總線，以及天地一體化網(wǎng)絡(luò)信息技術(shù)研究等，提出和研究了基于狼群的可重組多集群計算理論并應(yīng)用于實踐,研發(fā)了多個應(yīng)用軟件系統(tǒng)。
形式化設(shè)計與驗證方法：與法國圖盧茲計算機研究所（IRIT）和法國自動化所（INRIA）學(xué)術(shù)合作，成立了形式化方法聯(lián)合研究實驗室，研究基于模型驅(qū)動的形式化設(shè)計與驗證方法，研發(fā)了多個模型轉(zhuǎn)換、驗證和自動代碼生成工具，應(yīng)用在航空航天安全關(guān)鍵實時系統(tǒng)、區(qū)塊鏈和智能合約的驗證等。
2004年以來，培養(yǎng)博碩士研究生60余人，其中多人獲校院優(yōu)秀畢業(yè)生，就業(yè)單位多為航空航天和IT名企，多人到美、法等國深造和工作。主講本科生課程《分布式計算原理》和《區(qū)塊鏈與數(shù)字經(jīng)濟(jì)》，研究生學(xué)位課《分布式操作系統(tǒng)》。 近年來在國內(nèi)外重要學(xué)術(shù)期刊會議上發(fā)表SCI/EI檢索論文60余篇，主編《網(wǎng)絡(luò)計算新技術(shù)》（416頁，科學(xué)出版社2001年出版），聯(lián)合主編國家級“十一五”規(guī)劃教材《分布式計算系統(tǒng)導(dǎo)論》（490余頁，清華大學(xué)出版社2014年出版）。先后主持和參與多項國家自然基金、教育部產(chǎn)業(yè)基金、863重大項目、國家核高基項目、航空航天基金、以及多項航空航天領(lǐng)域項目。獲得國家發(fā)明專利和軟著40余項，2015年獲航空基金委5年優(yōu)秀成果獎，2018年中國產(chǎn)學(xué)研創(chuàng)新成果二等獎。
聯(lián)系方式： 辦公電話：82339460電子郵件：hukai@buaa.edu.cn辦公地點：北航新主樓G座G1041
