北京航空航天大學計算機學院研究生導師

⑴ 胡凱教授的履歷是什麼

胡凱，男，博士，教授，博士生導師，北京市計算機學會理事、北京航空航天專大學計算機屬學院教授 [1] 、北航雲南創新研究院數字經濟研究中心主任、 [2-3] 雲南省區塊鏈聯盟副理事⻓ [4-5] 。北航計算機學院系統結構學科，分布式系統研究方向。2001年在北航計算機系獲博士學位，2001~2003年在新加坡南洋理工大學任研究員（ResearchFellow），參與多國合作的新加坡國家重點項目，合著英文專著《AnatomyofHCTS》（2006年,NUSPublishing）。2004年人才引進回國加入北航計算機學院。2011年受邀在法國雷恩一大和INRIA（雷恩）任短期客座教授，從事實時系統形式化方法的研究，並較早在國內引進了相關技術研究應用。2014年在美國亞利桑那州立大學做訪問學者。早期曾任航空部某研究院計算機研究室主任。

⑵ 牛建偉的介紹

牛建偉，男，博士，教授，博士生導師，北京航空航天大學計算機學院研究生指導主任，分別於1998年和2002年獲得北京航空航天大學計算機學院碩士和博士學位，2002年－2004年在北京航空航天大學電子工程信息學院做博士後，入選教育部2009年「新世紀優秀人才支持計劃」，2010.1－2011.2年在美國卡內基梅隆大學做訪問學者。獲得2012年教育部技術發明一等獎。

⑶ 馬世龍教授馬世龍

馬世龍教授是北京航空航天大學計算機學院的資深學者，擔任教授和博士生導師的職務。他在學術領域擁有廣泛的影響力，曾作為國家自然科學基金委員會第十、十一屆信息科學部專家評審組的重要成員，以及國防科工委國防基礎研究基金的評審專家。此外，他還擔任亞洲軟體基礎學會的執行委員會委員，是中國人工智慧學會的常務理事，積極參與國內外學術交流和研究工作。

馬世龍教授在科研項目上碩果累累，曾主持過多項國家級的重大科研項目，涉及應用軟體系統的設計與開發。他的研究成果在國際學術期刊和會議上發表，有多篇論文被國際知名資料庫如SCI、EI和ISTP收錄，並受到國際同行的引用。他的科研成就得到了認可，曾榮獲1998年度教育部科技進步三等獎。

在1999年至2004年間，馬世龍教授負責了國家973項目的「網路環境下海量信息組織與處理的理論與方法研究」中「海量信息系統規律、模型和維護機理研究」這一重要課題。隨後，從2002年至2005年，他又投身於國家863重大項目——資源環境應用網格系統構建及其滾動研究，以及下一代互聯網中日IPv6合作項目中「IPv6環境下典型應用」的研發工作。他的工作在推動科研進步和技術革新方面發揮了關鍵作用。

馬世龍，明末將領。（1594～1634） 字蒼淵，或蒼元，回族。寧夏衛（今寧夏銀川）人。由世職武舉中試，歷任宣府（今河北宣化）游擊，永平（今河北盧龍）副總兵，署任都督僉事、三屯營（今河北遷西西北）總兵官。當時大學士、兵部尚書孫承宗出鎮遼東，推薦馬世龍隨行，擔任山海（今河北山海關）總兵，協助自己鎮守遼東，共建大功而加右都督銜。另外還有教授馬世龍。