热点关注
联系我们
联系人:刘颖
电话:028-85435533-854
手机:028-85435533-861
传真:028-85442897
E-mail:770844710@qq.com
QQ:770844710
地址:成都市新南路82号四凯大厦507
网址:www.sqwgov.com
more文章详情
刘卓军 |
来源: 日期:2015/11/18 点击次:422848 |
刘 卓 军 刘卓军,男,汉族,1958年3月出生于黑龙江省鸡西市。1988年6月在吴文俊院士指导下取得理学博士学位。目前是中科院数学与系统科学研究院研究员、博士生导师。曾任中科院系统所副所长,中科院数学与系统科学研究院副院长,中关村科技园区管委会副主任,马鞍山市政府副市长,现兼任全国风险管理标准化技术委员会(SAC/TC 310) 副主任委员、中关村自主品牌创新发展协会常务副会长等职。西部省情研究院研究员。 多年来一直从事符号计算与自动推理和密码学等方面的研究工作。在国内外学术刊物上发表论文90余篇。是国家攀登项目“机器证明及其应用”、“数学机械化及其应用”和973项目“数学机械化及其自动推理平台”的专家委员会委员刘卓军研究员现在参与承担的科研项目有,国家基金委创新群体项目“数学机械化方法及其在信息技术中的应用”、国家973项目“数学机械化方法及其在数字化设计制造中的应用”、国家科技支撑计划项目“产品质量安全风险监测指标获取及筛查技术研究”等。
|