李舟军，男，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等国际会议的程序委员会委员。 2．研究方向： 1） 高可信软件理论与技术（进程代数，形式语义学，程序分析等） 2） 网络与信息安全技术 3） 数据挖掘、信息检索与生物信息学 4） web服务、语义web与P2P计算先后承担或主持多个国家自然科学基金和国家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多篇。 3、讲授课程：长期从事计算机科学理论方面的教学工作，先后主讲了《离散数学》、《抽象代数》、《形式语言》、《形式语义学》和《计算机理论高级专题》等多门本科生、硕士生和博士生课程。 4、各类获奖和研究成果（1998年至今） 2000年获国内计算机软件界具重要影响的“中创软件人才奖”； 2003年获军队院校育才银奖； 2004年获全国优秀博士学位论文提名。设计并实现了一个π-演算的定理证明器 PiM。设计和实现了一个基于进程代数和逻辑程序的安全协议验证工具原型SPVT（v1.0），已获得计算机软件著作权登记（登记号：2004SR04230）。目前已推出改进版本。学术著作： 1）合著和出版《数理逻辑》和《抽象代数》两部研究生和本科生教材。 2）博士学位论文《传值CCS和π-演算互模拟等价的验证理论和算法》，2005年被国防科技大学出版社作为“优秀博士学位论文丛书”之一出版发行。