个人简介

u 学习经历 § 1984年毕业于武汉大学计算机系，获学士学位 § 1986年毕业于国防科技大学计算机系，后获硕士学位 § 1999年毕业于国防科技大学计算机学院，获博士学位 u 工作经历 § 1986.7-1989.12，国防科技大学计算机系，助教 § 1989.12-1994.12，国防科技大学计算机系，讲师 § 1994.12-2001.12，国防科技大学计算机学院，副教授 § 2001.12-2005.8，国防科技大学计算机学院，教授 § 2002.5-2005.8，国防科技大学计算机学院，博士生导师 § 2005.9-至今，北京航空航天大学计算机学院，教授，博士生导师 u 荣誉及奖励 1993年获国防科工委科技成果三等奖 1994年获国防科工委科技成果二等奖 1995年获国防科工委优秀教学成果三等奖 1996年研究生教材《数理逻辑》获第三届全国工科电子类专业优秀教材二等奖 2000 年获中创软件人才奖 2001年获国防科技大学和湖南省优秀博士学位论文 2003年获军队院校育才银奖 2004年获全国优秀博士学位论文提名 2010年获32届欧洲信息检索大会（ECIR2010）最佳论文奖（The Best Paper Award） 2017年获人工智能公司AdeptMind终生成就奖（the Lifetime Achievement Award） 2017年获北京市科学技术奖二等奖。 u 开授课程 主讲离散数学，抽象代数，形式语言，信息安全数学基础 u 教学及科研成果 出版教材与专著： 1. 李舟军，传值CCS和π-演算互模拟等价的验证理论和算法（国防科学技术大学全国优秀博士学位论文丛书），国防科技大学出版社，2005年，ISBN：9787810991520。 2. 王兵山，张强，李舟军，数理逻辑（研究生教材），1993年，ISBN：7-81024-276-8。 3. 王兵山，李舟军，抽象代数（本科生教材），国防科技大学出版社出版年: 2001年，ISBN:9787810247702。 u 科研项目 1. 自然科学基金联合基金重点支持项目（U1636211），面向大数据的国际主题事件推演与风险预警研究，2017/01-2020/12，直接费用253万，在研，主持。 2. 自然科学基金面上项目(61672081)，社区问答系统关键技术研究，2017/01-2020/12，直接费用63万，在研，主持。 3. 自然科学基金面上项目(61370126)，社交网络中热点话题检测与传播分析研究，20 14/01-2017/12，经费78万，已结题，主持。 4. 自然科学基金面上项目(61170189)，基于面向话题的加权社会网络的个性化推荐及检索技术研究，2012/01-2015/12，经费58万，已结题，主持。 5. 国家自然科学基金项目(60973105)，可证安全的高效新型密钥协商协议研究，2010 /01-2012/12，经费29万，已结题，主持。 6. 国家自然科学基金项目(90718017)，面向性质的可信软件建模与时序性质验证及支持工具，2008/01-2010/12，经费50万，已结题，主持。 7. 国家自然科学基金项目(60473057)，基于进程代数的复杂安全协议的形式化分析与验证，2005/01-2007/12，经费23万，已结题，主持。 8. 国家自然科学基金项目(60073001)，π-演算和传值CCS开互模拟的语义理论及其公理化研究，2001/01-2003/12，经费14万，已结题，主持。 9. 博士点基金重点项目(优先发展领域) (20111102130003)：云计算环境中数据安全关键技术研究，2012/01-2014/12，40万，已结题，主持。 10. 中国信息安全测评中心重点项目：静态分析XXXX技术研究，2011.1-2012.6，200万，已结题，主持。