发布时间：2013-09-17 | 来源：
刘卓军，研究员
符号计算、数学软件及算法等
在专业学术刊物和学术会议上发表论文五十余篇。先后多次参与组织和主持符号计算及计算机数学的国际会议，并经常赴国外访问讲学。曾任国家重大基础研究973项目“数学机械化与自动推理平台”的专家组成员。还曾担任NSF资助的中美符号计算合作项目的中方主持人，国家攀登项目“机器证明及其应用”和“数学机械化及其应用”的专家委员会委员。
【代表性论文】
[1] "Cryptanalysis and Improvement on a Threshold Proxy Signature Scheme", J.Information Science and Engineering, 25(2009), pp.619-631.
[2] "Linearized polynomials over finite fields revisited", Finite Fields and Their Applications, 22(2013), pp.79-100.
[3] "一种基于客户行为时序分析的反洗钱异常交易识别方法", 中国管理科学，2014年12月，第22卷第12期，pp.102-108.
