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