1997年本科毕业于浙江大学计算机系统，获学士学位；2002年研究生毕业于浙江大学计算机系，获博士学位。2003年至今任教于浙江大学计算机学院，承担的相关课程包括程序设计（本科课程）、高级操作系统（研究生课程）等。