刘卓军

刘 卓 军

          刘卓军,男,汉族,1958年3月出生于黑龙江省鸡西市。1988年6月在吴文俊院士指导下取得理学博士学位。目前是中科院数学与系统科学研究院研究员、博士生导师。曾任中科院系统所副所长，中科院数学与系统科学研究院副院长，中关村科技园区管委会副主任，马鞍山市政府副市长，现兼任全国风险管理标准化技术委员会(SAC/TC 310) 副主任委员、中关村自主品牌创新发展协会常务副会长等职。西部省情研究院研究员。

        多年来一直从事符号计算与自动推理和密码学等方面的研究工作。在国内外学术刊物上发表论文90余篇。是国家攀登项目“机器证明及其应用”、“数学机械化及其应用”和973项目“数学机械化及其自动推理平台”的专家委员会委员刘卓军研究员现在参与承担的科研项目有，国家基金委创新群体项目“数学机械化方法及其在信息技术中的应用”、国家973项目“数学机械化方法及其在数字化设计制造中的应用”、国家科技支撑计划项目“产品质量安全风险监测指标获取及筛查技术研究”等。