词条 | 刘卓军 |
释义 | 个人简介刘卓军,男,汉族,1958年3月出生,山东即墨人,1983年12月加入中国共产党,1984年12月参加工作,研究生学历,理学博士,研究员,教授、博士生导师。中国科学院数学与系统科学研究院副院长 个人履历1978.03——1984.12 在吉林大学学习,先后获学士、硕士学位。 1984.12——1986.02 黑龙江省计算机应用与研究开发中心技术员。 1986.02——1988.06 在中国科学院系统科学研究所学习(导师吴文俊院士),获理学博士学位。 1988.06——1992.05 中国科学院系统科学研究所助理研究员、副研究员。 1992.05——1995.01 美国肯特州立大学(KentState University)访问教授。 1995.01——1998.12 中国科学院系统科学研究所研究员、副所长。 1998.12——2004.06 中国科学院数学与系统科学研究院研究员、副院长(其间:2002.01—2002.12 参加中科院研究生院工商管理高级研修班EMBA学习,2002.04—2004.05 挂职北京市中关村科技园区管委会副主任,2004.10—2005.10 挂职安徽省马鞍市人民政府副市长)。 2004.06—— 中国科学院数学与系统科学研究院副院长、研究员、博士生导师。 成就及荣誉多年从事符号计算和数学软件及算法的研究工作,在专业学术刊物和学术会议上发表论文五十余篇。先后多次参与组织和主持符号计算及计算机数学的国际会议,并经常赴国外访问讲学。目前是国家重大基础研究973项目“数学机械化与自动推理平台”的专家组成员。刘卓军研究员还曾担任NSF资助的中美符号计算合作项目的中方主持人,国家攀登项目“机器证明及其应用”和“数学机械化及其应用”的专家委员会委员。 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。