男，中国科学院软件研究所研究员，计算机科学国家重点实验室主任 ，中国科学院院士，博士生导师 ，1986年在中国科学院软件研究所获博士学位；曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”。