[1]  1978.4 to 1982.3
浙江大学  | Computational Mathematics  | Bachelor's degree  | 本科毕业
[2]  1982.3 to 1984.12
北京大学  | 计算机技术  | 硕士  | 硕士毕业
在马希文导师的指导下进行人工智能机器学习研究。
[3]  1994.11 to 1998.12
巴黎第七大学  | 计算机技术  | 博士  | 博士毕业
在巴黎大区的巴黎七大、巴黎高师、（INRIA）等大学和研究机构组成的OCaml和Coq团队学习和研究。