李舟軍

ation ation an

李舟軍　教授，男，1963年9月生，湖南湘鄉人，漢族，中共黨員。
--------------------------------------------------------------------------------
1984年畢業於武漢大學計算機系，1986年研究生畢業於國防科技大學計算機系，並留校任教。1999年在國防科技大學計算機學院獲博士學位。1989年任講師，1994年任副教授，2001年任教授，2002年任博士生導師。2005年從國防科技大學轉業，分配到北京航空航天大學計算機學院。現任北京航空航天大學計算機學院教授、博士生導師。
歐洲理論計算機科學學會（EATCS）會員，中國計算機學會高級會員，理論計算機科學專業委員會委員，學術期刊“International Journal of Data Mining and bioinformatics ” (IJDMB) 編委，ICYCS'2001、BASICS’ 2001、IEEE DMB’ 2006 、BioDM’2007和IEEE DMIR’2007等國際會議的程式委員會委員。
先後承擔或主持多個國家自然科學基金和國家863計畫課題，在進程代數理論、軟體形式化開發方法、安全協定形式化分析與驗證技術、數據挖掘技術等方面取得重要研究成果，一些重要工作被國內外同行所引用。在《中國科學》、《計算機學報》、《軟體學報》和《Journal of Computer Science and Technology》、《International Journal of Data Mining and Bioinformatics》等學報和ICALP’98、TACAS’99、APPT’2003、ER’2004、AI’2004、HPCC’2006、SEKE’2006、JMLC’2006、GrC’2006、IEEE DMB’ 2006、DS’ 2006、PAKDD’ 2007、DMIR’2007和HPDMA'2007等國際學術會議上發表論文60多篇。
長期從事計算機科學理論方面的教學工作，先後主講了《離散數學》、《抽象代數》、《形式語言》、《形式語義學》和《計算機理論高級專題》等多門本科生、碩士生和博士生課程。
設計並實現了一個π-演算的定理證明器 PiM。設計和實現了一個基於進程代數和邏輯程式的安全協定驗證工具原型SPVT（v1.0），已獲得計算機軟體著作權登記（登記號：2004SR04230）。目前已推出改進版本。