男，教授，博士生导师
研究方向：非线性系统的符号计算
工作经历：
2001-07--今 中国科学院研究生院 教授
1999-09--2001-06 数学与系统科学研究院 博士后
1982.1－1999.8，渤海大学数学系，讲师，副教授；
教育背景：
1996-09--1999-09 大连理工大学 博士生
1985-09--1988-07 西南师范大学数学系 硕士生
1978-03--1982-01 锦州师范学院数学系 本科生
