赵亮

个人信息：Personal Information

副教授

性别：男

学历：博士研究生毕业

学位：博士学位

在职信息：在岗

所在单位：计算机科学与技术学院

学科：计算机科学与技术

扫描关注

个人简介：Personal Profile

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

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

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

教育经历Education Background
工作经历Work Experience

研究方向Research Focus
社会兼职Social Affiliations

1．软件形式化方法
2．程序验证
3．时序逻辑程序设计
4．面向对象程序理论