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