个人简历

男，讲师，生于1985年，中共党员，研究生学历，博士学位。2016年获计算机软件与理论专业工学博士学位。现任信息安全教研室讲师。
获奖情况
第八届青年教师教学竞赛优秀奖

研究领域

1．形式化方法
2．量子密码协议
3．模型检测

近期论文

1．The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking，International Journal of Theoretical Physics，2016年2月，SCI，第一作者。
2．Security analysis of multi-party quantum private comparison protocol by model checking，Modern Physics Letters B，2015年7月，SCI，第一作者。
3．基于模型检测的半量子密码协议的安全性分析，电子科技大学学报（自然科学版），2016年3月，EI，第一作者。
4．The Formal Study of Quantum Cryptography Protocols，2013 10th International Computer Conference on Wavelet Active Media Technology and Information Processing，2013年12月，EI，第一作者。