1983 年毕业于福州大学计算机科学系计算机技术专业，获得北航大学计算机软件专业博士学位。1994 年晋升计算机科学教授资格。现为北京大学博雅特聘教授，任职信息与计算科学系，1999-2008 年曾任系主任，曾为美国加州大学洛杉矶分校等大学访问学者。1999 年国家杰出青年科学基金获得者，享受国务院政府特殊津贴，曾多次获得人才、教学和科研奖励。从事计算机科学教学和研究工作，主要研究领域为人工智能和计算机软件，负责完成十几项国家科研项目，在学术刊物发表论文一百八十余篇。曾兼任多种学术和社会职务。