吳立軍

碩士研究生 華中理工大學

博士研究生 中山大學計算機軟體與理論專業；

博士后 國防科技大學計算機學院；

訪問學者 澳大利亞昆斯蘭大學(2012.12-2013.12)和Griffith大學(2010.10-2011.01)。

在網路與信息安全、人工智慧和形式化方法等研究領域做了深入的研究

講授《軟體安全技術》、《安全軟體設計》、《信息安全概論》、《形式語言與自動機》等本科課程；

講授《有限自動機原理》、《形式化方法》、《資料庫設計及應用》和《軟體項目管理》等碩士生課程；

指導各類研究生和碩士生60多名；

1、在軟體安全驗證方面，取得了開創性的成果

軟體模型檢測一般返回單個反例，其存在兩個主要缺點：信息不足及大大延長軟體調試周期。我們對此進行改進，提出了大規模系統所有反例的搜索方法。儘管搜索的是所有反例，但其演演算法複雜度和性能仍然整體優於現有模型檢測單反例搜索的最佳方法。

2、基於動態內存管理等新技術，提出了大規模系統模型檢測的高效外存演演算法(IOEMC),解決了大規模系統模型檢測內存不足和效率不高的問題。該演演算法比目前最好外存演演算法快2倍左右。

3、改進了卡納基。梅隆大學圖靈獎獲得者Clarke教授等研發的著名模型檢測工具SMV，使SMV的功能從時態邏輯擴展到時態認知邏輯。該成果得到利物普大學著名教授Michael Fisher等的肯定，Michael Fisher教授是形式化方法領域的元老級科學家。他們多次在state of the art中介紹這個成果。

主持的代表性項目如下：

主持了國家自然科學基金面上項目“基於高效I/O模型檢測的大規模Web服務驗證研究”(2014.01-2017.12, 75萬).

主持了國家自然科學基金面上項目“基於多智能體系統高效動態模型檢測的大規模安全協議動態驗證研究”(2010.01-2013.12, 32萬).

主持廣東省數據通訊局一卡通管理系統.

主持廣東省郵電科學研究院網路管理系統

近年來，在網路與信息安全、人工智慧和形式化方法等研究領域做了深入的研究，發表了一序列論文，提出了一序列理論和方法，並開發了相應的驗證工具。主持和參與973項目、863項目、國家自然科學基金及重點項目、博士后科研基金項目等各類項目30餘項。註：TSE是CCF A類頂級期刊，月刊，每期4-5篇論文，全年約50篇，中國大陸從2006-2015年10年總共只有15篇。

第一作者代表性論文如下:

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.

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.

Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen.A Complete First-Order Temporal BDI Logic for Forest Multi-Agent Systems. Knowledge Based System.

Lijun Wu, Kaile Su,Jinshu Su,Xiangyu Luo. A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-Agent Systems. Knowledge Based System.

在國際國內著名刊物和會議上發表高水平論文50多篇，被SCI/EI/ISTP收錄40多篇，其中發表在《IEEE Transactions on Software Engineering》(TSE)和影響因子3.0 以上期刊的第一作者論文4篇以上。