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