2008年3月獲bet356手机版唯一官网計算機應用技術專業博士學位,2009年10月-2010年11月受國家留學基金委資助, 赴美國University of Delaware信息與計算機系訪問研究。bet356手机版唯一官网SATAS(Software Analysis, Testing, Analytics, and Security)實驗室負責人。主持或參加多項國家自然基金、國家重點研發計劃項目以及與華為、奇虎360、江蘇省電力設計院等大型企業的合作項目,獲教育部提名國家自然科學獎二等獎。以第一作者在國内外期刊會議上發表多篇SCI、EI以及ISTP收錄的論文,多個國内外著名學術期刊審稿人。中國計算機學會(CCF)軟件專委會專委,江蘇省計算機學會計算機軟件專委會副主任。