刘卓军
个人简介刘卓军[1]，男，汉族，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 挂职安徽省马鞍市人民政府副市长[2]）。
2004.06—— 中国科学院数学与系统科学研究院副院长、研究员、博士生导师。
成就及荣誉多年从事符号计算和数学软件及算法的研究工作，在专业学术刊物和学术会议上发表论文五十余篇。先后多次参与组织和主持符号计算及计算机数学的国际会议，并经常赴国外访问讲学。目前是国家重大基础研究973项目“数学机械化与自动推理平台”的专家组成员。刘卓军研究员还曾担任NSF资助的中美符号计算合作项目的中方主持人，国家攀登项目“机器证明及其应用”和“数学机械化及其应用”的专家委员会委员。