北航的馬世龍呢？

北京航空航天大學計算機學院軟件開發環境國家重點實驗室教授、博士生導師、副主任馬世龍。獲2012國防科技進步二等獎。在國家科技學術著作出版基金資助下，專著《航天器自動測試語言及其系統》於2010出版。在國內外學術期刊和國際學術會議上發表研究論文100余篇；應邀撰寫兩本英文科研專著(章)。2005年受邀出版《類型與編程語言》(國外計算機科學系列教材)譯本。