070104-应用数学
120100-管理科学与工程

计算机代数与应用密码学
管理科学与工程

   

2007-02~现在, 中科院 数学与系统科学研究院 系统科学研究所, 系统安全研究咨询中心(RCCSS) 主任/研究员
2004-10~2007-03,安徽省马鞍山市人民政府, 副市长
2002-02~2004-05,北京市人民政府 中关村科技园区管委会, 副主任
1998-12~2003-01,中科院 数学与系统科学研究院, 副院长
1995-12~现在, 中科院系统科学研究所, 研究员
1995-02~1998-12,中科院系统科学研究所, 副所长
1992-05~1995-01,美国Kent State University, 博士后/访问教授
1990-12~1995-12,中科院系统科学研究所, 副研究员
1988-08~1990-12,中科院系统科学研究所, 助理研究员

2011-07-16-今,中关村自主品牌创新发展协会常务副会长, 常务副会长
2007-11-20-今,全国风险管理标准化技术委员会(SAC/TC 310)副主任委员, 副主任委员
2006-04-17-今,北京中科北方技术中心顾问,

   

（ 1 ） 数学机械化及其在信息技术中的应用, 参与, 国家任务, 2009-01--2011-12
（ 2 ） 数学机械化方法及其在数字化设计制造中的应用, 参与, 国家任务, 2011-01--2015-12
（ 3 ） 中医原创思维与健康状态辨识理论及方法研究, 参与, 国家任务, 2011-01--2015-12