个人简介

2017.03-今电子科技大学信软学院助理研究员

2014.12-2017.02电子科技大学计算机科学与技术博士后流动站博士后

2011.10-2014.10日本国立九州大学系统情报科学府博士

2007.09-2010.07电子科技大学示范性软件学院硕士

2002.09-2006.07电子科技大学计算机科学与工程学院学士

研究方向：模型检测，网络空间安全