基本信息
赵亮
博士 副教授
博士学科：计算机科学
硕士学科：应用数学　
工作单位：计算机学院计算理论与技术研究所

联系方式
通信地址：西安电子科技大学177信箱，710071
电子邮箱：*@xidian.edu.cn，其中*为lzhao
办公地点：北校区 新科技楼 A705


个人简介
2004年、2007年分别于北京大学数学科学学院信息科学系获得学士、硕士学位。
2012年于意大利比萨大学计算机科学系获得博士学位。
2012年起在西安电子科技大学计算机学院计算理论与技术研究所工作至今。

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

---

基本信息
赵亮
博士 副教授
博士学科：计算机科学
硕士学科：应用数学　
工作单位：计算机学院计算理论与技术研究所

联系方式
通信地址：西安电子科技大学177信箱，710071
电子邮箱：*@xidian.edu.cn，其中*为lzhao
办公地点：北校区 新科技楼 A705


个人简介
2004年、2007年分别于北京大学数学科学学院信息科学系获得学士、硕士学位。
2012年于意大利比萨大学计算机科学系获得博士学位。
2012年起在西安电子科技大学计算机学院计算理论与技术研究所工作至今。

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

---

科学研究
目前研究团队承担的科研项目：

---

学术论文
[1]
[2]
[3]
[4]
[5]
[6]
[7];
[8]
[9]

---

荣誉获奖
点击网页顶部“添加栏目”可以添加其他栏目
把鼠标放在栏目标题处，尝试拖动栏目。

---

科研团队
团队教师




博士研究生
硕士研究生

---

课程教学
目前本人承担的教学任务：
《数据库系统》 本科必修 3学分 大三上学期
《数据库系统课程设计》 本科必修 1学分 大三下学期 卓越班

---

招生要求
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~

---

Profile
Name Title
Department:

Contact Information
Address:
Email:
Tel:


Introduction
Put brief introduction of yourself here


Research Interests
1．
2.
3．
4．
5．

---

Research
目前研究团队承担的科研项目：

---

Papers
[1]
[2]
[3]
[4]
[5]
[6]
[7];
[8]
[9]

---

Honors
点击网页顶部“添加栏目”可以添加其他栏目
把鼠标放在栏目标题处，尝试拖动栏目。

---

Team
团队教师




博士研究生
硕士研究生

---

Teaching
目前本人承担的教学任务：

课件下载 示例

---

Admission
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~