计算机软件专家，主要从事软件方法学研究。1960年3月31日出生于江苏省南京市。1982年毕业于南京大学计算机系，1984年获该校硕士学位，1988年获该校博士学位。2013年当选为中国科学院院士。