软件工程项目：
2002~2005,《面向集成应用软件的工作流技术的研究与应用》，得到江苏省高技术研究计划项目资金资助 （课题编号：BG2003026）。
1998~2001,《软件工程中的形式化方法和面向对象技术研究》,得到国家863高科技项目资金和国家自然科学基金资助，2002年获教育部科技进步二等奖。
1995~1999,《软件工程理论、技术和工具的研究》，得到国家八・五、国家自然科学基金资助，1999年1月获国家教育部科技进步二等奖。
1995~1997,《电力系统综合自动化软件NT95》，与南京电力自动化研究院、南瑞公司（北京分公司）合作项目。
1991~1995,《计算机辅助软件工程的研究与开发》,得到江苏省八・五科技攻关项目资金资助，1996年9月获得江苏省科技进步二等奖。
1986~1990,《异种高级语言之间自动转换系统》中的“COBOL到C程序自动转换系统”，得到国家七・五科技攻关项目资金资助，1991年获得江苏省科技进步四等奖。