个人简历

1. 个人综述

李舟军，北京航空航天大学计算机学院教授、博士生导师，主要研究方向为软件工程、软件安全、形式化方法、程序分析、软件测试、软件可信性、大数据分析、人工智能安全，从事教学、科研及学术兼职工作，在相关领域有深厚的学术造诣和丰富的实践经验。

2. 个人背景与教育经历

工作履历：北京航空航天大学计算机学院教授、博士生导师，负责教学、科研及学术兼职工作。

3. 研究方向与技术领域

研究方向：软件工程、软件安全、形式化方法、程序分析、软件测试、软件可信性、大数据分析、人工智能安全。 技术热词：模型检测、静态分析、动态分析、符号执行、模糊测试、漏洞挖掘、信任评估、数据挖掘、机器学习安全

4. 主要学术成果与贡献

研究成果综述：在国际顶级会议和期刊上发表了大量高水平学术论文，已被广泛引用。 科研项目及成果：主持多项国家级科研项目，包括国家自然科学基金重点项目、面上项目，以及国家重点研发计划课题，取得多项技术突破。

5. 学术荣誉与社会兼职

获奖信息：教育部新世纪优秀人才支持计划入选者、北京市科技新星计划入选者。 社会职务及任期：中国计算机学会形式化方法专业委员会副主任、中国计算机学会软件工程专业委员会常务委员。

6. 团队建设与人才培养

研究生团队规模、方向及主要成员：团队规模适中，研究方向涵盖软件工程、软件安全等多个领域，主要成员为博士研究生和硕士研究生。 具体指导的学生、人才培养成就：指导的学生在国际顶级期刊发表多篇高水平论文，参与多项技术转化案例，获得多项学术荣誉与奖励。

7. 科技成果转化与产业应用

研究成果的产业化方式及应用案例：与企业进行技术合作，签署技术转让协议。 市场化应用：研究成果在软件安全、大数据分析等领域得到应用。 政府及企业的合作项目：参与国家、政府的战略咨询项目。 参与的其他产学研项目：与高校、科研机构和企业共同开展技术研发和创新活动。