人物經(jīng)歷
2002年應(yīng)用數(shù)學(xué)碩士畢業(yè)，
2005年計算機軟件與理論博士畢業(yè)，
同年加盟南郵計算機學(xué)院信息安全系。
研究方向
1. 基于信息流分析的Web應(yīng)用診斷和檢測技術(shù)研究。
包括：網(wǎng)絡(luò)信息流安全、網(wǎng)絡(luò)密碼協(xié)議分析驗證、XML文檔抽取分析等。
2. 基于數(shù)據(jù)流分析的軟件安全技術(shù)研究。
包括：安全漏洞分析檢測、迷惑代碼檢測和反迷惑技術(shù)、遠程緩沖區(qū)溢出攻擊檢測等。
3. 函數(shù)式編程技術(shù)及其在安全可靠網(wǎng)絡(luò)軟件開發(fā)中的應(yīng)用。
包括：Haskell編程技術(shù)、服務(wù)計算、基于構(gòu)件軟件開發(fā)、Web服務(wù)發(fā)現(xiàn)與組合等。
主要貢獻
在《中國科學(xué)》、《計算機學(xué)報》等國內(nèi)外刊物上發(fā)表論文30余篇，其中SCI收錄6篇，EI收錄12篇。
作為主要項目成員參加了多項國家自然科學(xué)基金、國家杰出青年科學(xué)基金、國家重點基礎(chǔ)研究發(fā)展規(guī)劃973等項目研究。目前作為項目負責(zé)人承擔(dān)國家自然基金、網(wǎng)絡(luò)與交換國家重點實驗室基金各一項�，F(xiàn)主要從事形式化方法、服務(wù)計算、網(wǎng)絡(luò)信息流安全、軟件可靠與安全、密碼協(xié)議分析、函數(shù)式編程技術(shù)、程序切片等相關(guān)理論和應(yīng)用研究。
