个人简介
个人简介
计算机科学与技术学院计算机科学系主任。
2000年、2003年与2009年分别于西安电子科技大学计算机学院获得工学学士、工学硕士与工学博士学位。
2003年起在西安电子科技大学计算机学院工作至今。
2014年12月至2015年12月在美国UniversityofTexasatDallas公派访问留学1年。
迄今主持国家自然科学基金面上项目2项，陕西省重点研发计划1项，中央高校基本科研业务费资助项目3项，软件工程国家重点实验室开放基金1项。
在国内、国际刊物与学术会议上发表SCI/EI检索学术论文二十余篇。
教学
《数据库原理》，本科必修课，主讲，西电学堂课程资源链接，关系数据库自主学习与自动评判系统(访客用户名密码均为1)
《编译原理》，本科必修课，主讲，学在西电课程资源链接
《Web程序设计》，硕士任选课，主讲
科研项目
陕西省重点研发计划项目：区块链智能合约的建模与验证支撑环境研究，2020年1月-2021年12月，项目负责人
国家自然科学基金面上项目：社交网络系统的建模与运行时验证，2017年1月-2020年12月，项目负责人
国家自然科学基金面上项目：实时安全关键系统的建模、仿真与验证，2013年1月-2016年12月，项目负责人
中央高校基本科研业务费资助项目：基于TMSVL的实时系统运行形式化分析，2014年1月-2015年12月，项目负责人
中央高校基本科研业务费资助项目：基于RT-MSVL的实时安全关键系统的仿真、建模与验证，项目负责人
中央高校基本科研业务费资助项目：基于SAT的组合Web服务的建模与验证，项目负责人
软件工程国家重点实验室开放基金项目：基于投影时序逻辑的组合Web服务的建模与验证，项目负责人
国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，2012年1月-2016年12月，主要成员
教学项目
教育部-华为技术有限公司，产学合作协同育人-新工科建设项目：基于GaussDB100的数据库实验课程改革，2019年10月-2020年12月，项目负责人
获奖
2016年，西安电子科技大学师德先进个人
2015年，陕西省科学技术奖一等奖，排名第4
2014年，西安电子科技大学计算机学院“我最感谢的大学老师”
2012年，西安电子科技大学优秀教师
2009年，陕西省科学技术奖二等奖，排名第4
2008年，西安电子科技大学第六届青年教师讲课竞赛，三等奖
2008年，西安电子科技大学计算机学院青年教师讲课竞赛，特等奖
课程教学
数据库原理
编译原理
Web程序设计
学生情况
2016年10月：2014级硕士生刘东淼、2015级硕士生任丽园获得国家奖学金奖励
招生要求
要求：认真好学即可
报名参考：
工学硕士：偏向科学研究，与离散数学、编译原理类课程联系紧密
工程硕士：偏向软件开发，与数据结构、程序设计、数据库系统原理类课程联系紧密
具体情况请在报考前邮件或电话联系交流。
研究领域
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
社交网络建模与验证
实时系统建模与验证
高可信软件技术
京公网安备 11010802027423号