计算机软件专家，主要从事软件工程和系统软件领域的研究。1963年5月生于贵州省余庆县。1984和1987年分别于南京航空学院获学士和硕士学位，1992年于上海交通大学获博士学位。2011年当选为中国科学院院士。