刘卓军,男,汉族,1958年3月出生,山东即墨人,1983年12月加入中国共产党,1984年12月参加工作,研究生学历,理学博士,研究员,教授,博士生导师.中国科学院数学与系统科学研究院副院长.刘卓军,男,汉族,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美国肯特州立大学(KentStateUniversity)访问教授. 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资助的中美符号计算合作项目的中方主持人,国家攀登项目"机器证明及其应用"和"数学机械化及其应用"的专家委员会委员.