赵亮

个人信息:Personal Information

副教授 硕士生导师

性别:男

毕业院校:其他(境外)

学历:博士研究生毕业

学位:博士学位

在职信息:在职

所在单位:计算机科学系

所属院系: 计算机科学与技术学院

学科:计算机科学与技术

扫描关注

个人简介:Personal Profile

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

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

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


  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations
  • 1.软件形式化方法
    2.程序验证
    3.时序逻辑程序设计
    4.面向对象程序理论