刘卓军--现任中国科学院数学与系统科学研究院研究员，博士生指导教师。刘卓军研究员长期从事符号计算、自动推理、数据科学、风险管理和系统安全等研究。发表学术论文90余篇，主编发行《系统安全研究报告》11期，出版译著三部。是国家攀登项目“机器证明及其应用”、“数学机械化及其应用”和973项目“数学机械化及其自动推理平台”的专家委员会委员。曾先后担任过北京市中关村科技园区管委会副主任（2002-2004）和全国风险管理标准化技术委员会 (SAC/TC 310) 副主任委员。对我国高新技术产业规划和发展有实践经验和深入研究，目前还定期为展现新经济、新科技、新文化特征的《中关村》杂志撰写专栏文章。
