2003.9 ~ 2009.6, 中国科学技术大学, 计算机系统结构, 博士；
1999.9 ~ 2003.7, 中国科学技术大学, 信息安全, 学士。

软件与系统安全，密码应用安全，信息安全测评。

2003.7 ~ 至今，中国科学技术大学信息科学技术学院/网络空间安全学院，助教/讲师/副教授；
2014.5 ~ 2015.5，美国纽约州立大学石溪分校，访问学者。

ACM SIGSOFT杰出论文奖（ISSTA 2021）；
全国网络安全等级保护测评工作先进个人（2017年）；
安徽省高等学校优秀青年人才（2012年）；
中国科学技术大学惠普信息科学青年教师奖（2012年）。 

量子密钥分发现实安全性测评方法，国家重点研发计划子课题，2020~2025，主持；
密码应用安全性评估全国首批试点项目，2018~2019，国家密码管理局，主持；
软件安全性分析，国家重点研发计划子课题，2016~2019，主持。

在国内外重要会议和期刊发表论文50余篇；
专著《TTCN-3语言及应用》；
国家标准《GB/T 26857.4-2018 开放系统互连 测试方法和规范（MTS）：TTCN-3操作语义》；
授权国家发明专利5项。