题 目：现代密码学典型思想及前沿
主讲人：薛锐研究员
时 间：2018年4月10日上午10：30
地 点：开元校区工科4-605
主办单位：科技处、数学与统计学院
主讲人简介：
薛锐，博士，研究员，博士生导师。1963年9月出生。1983年毕业于北京师范大学数学系获学士学位；1988年于北京师范大学数学系获硕士学位；1999年于北京师范大学数学系获基础数学专业理学博士学位。中科院软件所2001年博士后；1994-1995年德国Passau大学访问学者；2005年-2006年美国普渡大学计算机系访问学者；2006-2007年美国伊利诺伊(UIUC)大学计算机科学系访问学者。软件学报责任编委、计算机研究与发展编委；北京交通大学、解放军信息工程大学的兼职教授；中国密码学会安全协议专委会副主任委员、信息安全国家重点实验室副主任（代理主任）、中国保密协会隐私保护专业委员会秘书长。
多年来主要从事数理逻辑，模型论，密码学与安全协议，等方面的研究工作，主持完成省部级项目多项。参加多项国家自然科学基金项目。曾参加多项国家重大基础研究项目（973）。主持完成多项国家863项目、多项国家自然基金以及其他项目。在IEEETrans．on SMC、JCST、C&S、IEE Proceedings Comm．、中国科学，CT-RSA,PQCrypto, SCN等国内外刊物、国际国内会议上发表百余篇论文, 专著2部, 专利2项,软件著作权5项。领导开发完成AVSP以及ASM-SPV 等安全协议验证工具.
