个人简介

招生专业 070104-应用数学 招生方向 自动推理，符号计算研究，智能软件开发 教育背景 1988-09--1990-07 美国Texas大学 博士后 1984-09--1988-07 中科院系统所 博士 1980-09--1984-07 国防科学技术大学 学士 学历 -- 研究生 学位 -- 博士 工作经历 1991.12—1997.12 中科院系统科学研究所 副研 1993—1996 美国Wichita州立大学, 访问学者 1997.12—1998.12 中科院系统科学研究所 研究员 1998.12— 中科院数学与系统科学研究院 研究员、 系统科学研究所 所长（2003-2011） 副院长（2012-2016） 教授课程 数学机械化 奖励信息 （1） “十一五”国家科技计划执行，国家级，2011 （2） ISSAC杰出论文奖，其他级，2011 （3） 中创软件人才奖，其他级，2006 （4） 中国科学院先进工作者，院级级，2006 （5） 数学与系统科学研究院突出成果，研究所（学校）级，2003 （6） 第一届中国科协期刊优秀学术论文，部委级，2003 （7） 中国科学院盈科优秀青年学者，院级级，2000 （8） ATCM“最佳论文奖”，其他级，1999 （9） 求是杰出青年学者奖，其他级，1999 （10） 中科院（十大）杰出青年，院级级，1999 （11） 中科院有突出贡献的中青年专家，院级级，1998 （12） 中科院青年科学家一等奖，院级级，1997 （13） 国家自然科学二等奖，国家级，1997 （14） 中国科学院自然科学一等奖，院级级，1995 专利成果 （1） 一种由圆柱副、圆柱副和球面副构成的并联机构，发明，2008，第1作者，专利号：ZL 2006 1 0109345.6 （2） 由圆柱副、圆柱副和球面副构成的并联机构，发明，2007，第1作者，专利号：ZL 2004 1 0073712.2 （3） 数控系统基于多周期最优拐角的小直线段插补方法，发明，2010，第4作者，专利号：ZL200910083950.4 （4） 基于二次B样条曲线对G01代码的拟合及插补方法，发明，2009，第5作者，专利号：ZL200910082732.9 （5） 基于曲面重构的三轴数控机床刀具的半径补偿方法，发明，2010，第2作者，专利号：ZL200910089707.3 科研项目 1. 国家基金委优秀创新群体，“数学机械化及其在信息技术中的应用”，2009 – 2014，学术带头人。 2. 973项目：“数学机械化与数字化设计制造”，2011-2015，任首席科学家。 3. 973项目：“数学机械化方法及其在信息技术中的应用”，2004-2009，首席科学家。 4. 973项目：“数学机械化与自动推理平台”，1998-2003，首席科学家。 5. 国家杰出青年基金，1998—2001。 6. 中国科学院重要方向性项目，“基于数学机械化方法的数控系统研制”，2008－2010，项目共同负责人。 7. 中科院****，2001-2004。 8. 国家攀登计划“数学机械化及其应用”子项目，1997。 9. 国家攀登计划“机器证明及其应用”子项目，1992－1996。 10. 美国自然科学基金 CCR-0201253, 2002-2005，“Automated Geometry Reasoning and Methods of Diagram Generation”， 主要研究人员 （CO-PI）。 11. 863项目：“吴方法计算机软件研究”，1991－1993。