EN
当前位置： X-MOL首页 › 全球导师 › 国内导师 › 赵亮
赵亮 博士 副教授 收藏 完善纠错
西安电子科技大学    计算机科学与技术学院
登录后才能查看导师的联系方式，马上登录...

个人简介

个人简介 2004年、2007年分别于北京大学数学科学学院信息科学系获得学士、硕士学位。 2012年于意大利比萨大学计算机科学系获得博士学位。 2012年起在西安电子科技大学计算机学院计算理论与技术研究所工作至今。 课程教学 目前本人承担的教学任务： 《数据库系统》本科必修3学分大三上学期 《数据库系统课程设计》本科必修1学分大三下学期卓越班

研究领域

查看导师新发文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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

我收藏的导师 >
便捷的期刊搜索 >
免费课题组网站 >
推荐链接
down
wechat
bug