个人简介 2004年、2007年分别于北京大学数学科学学院信息科学系获得学士、硕士学位。

2012年于意大利比萨大学计算机科学系获得博士学位。

2012年起在西安电子科技大学计算机学院计算理论与技术研究所工作至今。

课程教学 目前本人承担的教学任务：

《数据库系统》本科必修3学分大三上学期

《数据库系统课程设计》本科必修1学分大三下学期卓越班

1．软件形式化方法

2．程序验证

3．时序逻辑程序设计

4．面向对象程序理论