大学计算机系教授、博士生导师，培养出中国第一位计算机软件学博士。曾任南京大学计算机软件研究所所长、计算机软件新技术国家重点实验室主任，教育部计算机软件教材编审会主任，国务院学位委员会计算机学科评议组召集人，中国计算机学会副理事长及软件专业委员会主任，南京大学计算机软件新技术国家重点实验室名誉主任等职。
科研.主要研究高级语言、新型程序设计与软件自动化。代表性成果有：