四川大学数学系 理学学士、硕士、博士
中科院成都计算机应用研究所
北京大学数学科学学院 博士后、 讲师、副教授、教授
德国马普计算机科学研究所（MPII） （2002）
德国柏林自由大学（FU Berlin） （2003）
法国国家信息与自动化研究院（INRIA） （2006）
加拿大安大略计算机代数研究中心（ORCCA） （2007）
法国巴黎六大 (LIP6) (2010)