|
Personal Information:
More >>Male With Certificate of Graduation for Doctorate Study Associate professor
Profile:
2004年、2007年分别于北京大学数学科学学院信息科学系获得学士、硕士学位。
2012年于意大利比萨大学计算机科学系获得博士学位。
2012年起在西安电子科技大学计算机学院计算理论与技术研究所工作至今。
Education Background
Work Experience
Research Focus
- 1．软件形式化方法
2．程序验证
3．时序逻辑程序设计
4．面向对象程序理论