 刘卓军博士现任中国科学院系统科学研究所研究员、博士生导师，同时担任中科院数学与系统科学研究院副院长、北京市人民政府中关村科技园区管委会副主任。多年从事符号计算和数学软件及算法的研究工作，在专业学术刊物和学术会议上发表论文五十余篇。先后多次参与组织和主持符号计算及计算机数学的国际会议，并经常赴国外访问讲学。目前是国家重大基础研究973项目“数学机械化与自动推理平台”的专家组成员。刘卓军研究员还曾担任NSF资助的中美符号计算合作项目的中方主持人，国家攀登项目“机器证明及其应用”和“数学机械化及其应用”的专家委员会委员。在1990年数学机械化研究中心成立之初任研究中心主任助理，协助吴文俊院士组织和开展机器证明及数学机械化的研究工作和学术活动。 |