12月29日，信息工程大学硕士生导师程庆丰副教授应邀来我院讲学。报告在数学楼A10-413举行，数学科学学院部分教师和学生参加了此次报告会。

程庆丰副教授作了题为《安全协议形式化分析研究》的学术报告。报告中，程庆丰副教授介绍了可证明安全的基本情况，给出当前主要的形式化分析工具以及相应的案例，并对形式化分析工具国内外发展现状进行了详细介绍。最后，程庆丰副教授与在场的老师和同学们进行了积极的讨论与交流，并回答了老师和同学关注的问题。

程庆丰，男，博士后，信息工程大学副教授，硕士生导师。中国科学技术大学访问学者，西安电子科技大学博士后。近年来，主持或参与国家863计划、国家自然科学基金、河南省科技攻关、信息安全国家重点实验室开放课题等30多个项目的研究工作，已发表60多篇密码学与信息安全方面的学术论文，参与撰写《2014-2015密码学科发展报告》。担任公安部《信息网络安全》期刊编委、国内外多个期刊审稿专家，多次指导学生在全国大学生信息安全竞赛、全国密码数学挑战赛、全国密码技术竞赛中获奖。

（程庆丰教授讲课）