Experience
Education
Bio
研究方向包括软件自动化、面向对象语言与环境和并行程序的形式化方法。曾参加国家重点项目11项。获国家教委科技进步一等奖二次,国家教委科技进步二等奖一次,获江苏省科技进步二等奖一次,光华科技三等奖一次,完成论文40余篇。发表在《JournalofSystemsandSoftware》、《AnnualsofSoftwareEngIneerIng》、《ACMSIgplanNotIces》、《ACMSoftwareEngineerIngNotes》、《中国科学》等刊物上。合著专著《软件自动化》获国家教委学术著作优秀奖和优秀教材一等奖。1990年被授予“做出突出贡献的中国博士学位获得者”称号。1993年获霍英东青年教师奖。1994年进入“国家教委跨世纪优秀人才计划”。1995年获江苏省青年科技奖。1995年获“国家杰出青年科学基金”资助。1996年获首届江苏省青年科学家奖(提名奖);1996年获中国青年科技奖。