计算机应用专家，主要从事计算机领域研究。1966年12月出生于浙江温州。1988年毕业于浙江大学计算机系，1993年在浙江大学获博士学位。2017年当选为中国科学院院士。