教學(xué)、研究工作主要涉及計算機軟件工程，近年來研究工作的重點包括軟件建模與分析、軟件測試與驗證。曾在 聯(lián)合國大學(xué)澳門國際軟件技術(shù)研究所（UNU/IIST）、芬蘭Turku Centre for Computer Science（TUCS）和美國Carnegie Mellon University進行訪問和合作研究。

主持承擔(dān)包括國家自然科學(xué)基金項目、863高技術(shù)研究開發(fā)基金項目、國家九五重點攻關(guān)項目、國家重大基礎(chǔ)研究計劃973項目在內(nèi)的多項國家和省級科研項目，在國際期刊、國際會議和國內(nèi)一級學(xué)報發(fā)表學(xué)術(shù)論文60余篇；獲2002年教育部自然科學(xué)二等獎、1998年教育部 科學(xué)技術(shù)進步二等獎和1998年度中創(chuàng)軟件人才獎，獲 國務(wù)院政府特殊津貼，入選教育部跨世紀人才培養(yǎng)計劃和江蘇省青藍工程學(xué)術(shù)帶頭人培養(yǎng)計劃，2002年被教育部表彰為高等學(xué)校優(yōu)秀骨干教師，2004年獲 國家杰出青年科學(xué)基金資助。