2000年9月至2003年7月,北京大学计算机科学技术系计算机软件与理论,获理学博士学位;1997年9-2000年7月,北京大学计算机科学技术系计算机软件与理论,获理学硕士学位; 1990年9月-1994年7月,浙江大学应用数学系应用数学专业,获理学学士学位。