刘卓军，男，汉族，1958年3月出生，山东即墨人，1983年12月加入中国共产党，1984年12月参加工作，研究生学历，理学博士，研究员，教授、博士生导师。中国科学院数学与系统科学研究院副院长多年从事符号计算和数学软件及算法的研究工作，在专业学术刊物和学术会议上发表论文五十余篇。先后多次参与组织和主持符号计算及计算机数学的国际会议，并经常赴国外访问讲学。如今是国家重大基础研究973项目“数学机械化与自动推理平台”的专家组成员。刘卓军研究员还曾担任NSF资助的中美符号计算合作项目的中方主持人，国家攀登项目“机器证明及其应用”和“数学机械化及其应用”的专家委员会委员。刘卓军，男，汉族，1958年3月出生，山东即墨人，1983年12月加入中国共产党，1984年12月参加工作，研究生学历，理学博士，研究员，教授、博士生导师。