导师代码： 10822
导师姓名： 吴立军
性别： 男
特称：

职称： 教授
学位： 工学博士学位
属性： 专职
电子邮件： wljuestc@sina.com

---

学术经历： 电子科技大学计算机科学与工程学院教授，博士生导师. 主要研究领域为人工智能和信息安全。 近年来，在网络与信息安全、人工智能和形式化方法等领域做了深入的研究，发表了一序列高水平论文，提出了一序列理论和方法，并开发了相应的工具。 在国际国内重要刊物和会议上发表高水平论文50多篇，被SCI/EI/ISTP收录40多篇，其中以第一作者在《IEEE Transactions on Software Engineering》(TSE)和影响因子3.0 以上期刊发表论文4篇以上；主持和参与973项目、863项目、国家自然科学基金及重点项目、博士后科研基金项目等各类项目20余项.注：TSE 是CCF A类顶级期刊，月刊,每期4-5篇论文,全年约50篇, 中国大陆从2006-2015年10年总共只有15篇。

---

个人简介： 硕士研究生 华中理工大学 博士研究生 中山大学计算机软件与理论专业； 博士后 国防科技大学计算机学院； 访问**** 澳大利亚昆斯兰大学(2012.12-2013.12)和Griffith大学(2010.10-2011.01)。

---

科研项目： 主持和参与973项目、863项目、国家自然科学基金及重点项目、博士后科研基金项目等各类项目20余项. 主持的代表性项目如下：[1] 主持了国家自然科学基金面上项目“基于高效I/O模型检测的大规模Web服务验证研究”(2014.01-2017.12, 75万).[2] 主持了国家自然科学基金面上项目“基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究”(2010.01-2013.12, 32万).

---

研究成果： 近年来，在网络与信息安全、人工智能和形式化方法等研究领域做了深入的研究，发表了一序列论文，提出了一序列理论和方法，并开发了相应的验证工具。在国际国内著名刊物和会议上发表高水平论文40多篇，被SCI/EI/ISTP收录30多篇，其中发表在《IEEE Transactions on Software Engineering》 (TSE)和影响因子3.0 以上期刊的第一作者论文4篇以上。第一作者代表性论文如下:[1] Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang. An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Transactions on Software Engineering.[2] Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang. An I/O Efficient Model Checking Algorithm for Large-Scale Systems. IEEE Transactions on VLSI systems.[3] Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen.A Complete First-Order Temporal BDI Logic for Forest Multi-Agent Systems. Knowledge Based System.[4] Lijun Wu, Kaile Su,Jinshu Su,Xiangyu Luo. A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-Agent Systems. Knowledge Based System.

---

专业研究方向： 专业名称 研究方向 招生类别
081200计算机科学与技术 02机器智能与模式识别 博士
081200计算机科学与技术 06云计算与大数据处理 博士
081200计算机科学与技术 07嵌入式系统 博士
085400电子信息 07不区分研究方向 博士
081200计算机科学与技术 02机器智能与模式识别 硕士
081200计算机科学与技术 06云计算与大数据处理 硕士
081200计算机科学与技术 07嵌入式系统 硕士

---