学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 赵亮的留言板
基本信息

赵亮  

博士  副教授

博士学科:计算机科学

硕士学科:应用数学 

工作单位:计算机学院 计算理论与技术研究所

联系方式

通信地址:西安电子科技大学177信箱,710071

电子邮箱:*@xidian.edu.cn,其中*为lzhao

办公地点:北校区 新科技楼 A705

个人简介

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

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

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

主要研究方向

1.软件形式化方法

2.程序验证

3.时序逻辑程序设计 

4.面向对象程序理论