2005-03~2016-08,中科院
数学与系统科学研究院, 研究员
2004-03~2005-03,中科院数学与系统科学研究院, 副研究员
2001-11~2004-03,SCG, School of Computer Science, Univ. of Waterloo, Canada, 博士后
1999-12~2001-11,中科院数学与系统科学研究院, 副研究员
1997-09~1999-12,SCAI Institut, GMD, St. Augustiin, Germany, 博士后
1996-05~1997-09,中科院系统所, 副研究员
1992-02~1996-05,RISC-Linz, Univ. of Linz, Austria, 博士
1988-09~1992-01,清华大学应用数学系, 助教
1985-09~1988-07,中科院系统所, 硕士
1980-09~1985-07,清华大学应用数学系, 学士