主持的代表性項目如下:
[1]主持國家自然科學基金面上項目“基於高效I/O模型檢測的大規模Web服務驗證研究”(2014.01-2017438+02750000)。
[2]主持國家自然科學基金面上項目“基於多代理系統高效動態模型檢測的大規模安全協議動態驗證研究”(2010.01-2013.12320000)。
[3]主持廣東省數據通信局壹卡通管理系統。
[4]主持廣東郵電學院網絡管理系統。
近年來，我們在網絡與信息安全、人工智能和形式化方法等領域做了深入研究，發表了壹系列論文，提出了壹系列理論和方法，並開發了相應的驗證工具。在國際國內著名期刊和會議上發表高水平論文50余篇，SCI/EI/ISTP收錄論文40余篇，其中在IEEE Transactions on Software Engineering(TSE)和影響因子3.0以上期刊發表論文4篇以上。
第壹作者代表論文如下:
[1]，，蘇，，，，王。壹種檢測所有接受周期的I/O有效方法。軟件工程匯刊。
[2]，，黃，，蘇，，蔡，.壹種適用於大規模系統的I/O高效模型檢測算法。超大規模集成電路系統匯刊。
[3]，，蘇，阿蔔杜勒·薩塔爾，陳.森林多智能體系統的完全壹階時態BDI邏輯。基於知識的系統。
[4]，蘇，蘇，羅翔宇。多智能體系統中知識、信念和確定性的並發動態邏輯。基於知識的系統。