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

赵亮  

博士  副教授

博士学科:计算机科学

硕士学科:应用数学 

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

联系方式

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

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

办公电话:18066832962

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

个人简介

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

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

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

主要研究方向

1.软件形式化方法

2.程序验证

3.时序逻辑程序设计 

4.面向对象程序理论
 

版权声明:未经西安电子科技大学以及个人主页教师本人许可不得复制,转载传播本主页内容或用于任何商业用途,如需转载请征得主页所有者同意,并附上主页链接.
西安电子科技大学个人主页 站点地图 | | 赵亮的留言板 | 更新日期 :2016-09-30 | |
Copyright © 2011-2016 西安电子科技大学 版权所有 陕ICP备021284(05016169) Powered by 信息化建设处 & 电院网络中心