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

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