王小兵
计算机科学与技术学院
博士，副教授，博士生导师
博士学科：计算机科学与技术（计算机软件与理论）
硕士学科：计算机科学与技术（学硕）、电子信息（专硕）
工作单位：计算机科学与技术学院
办公地点：北校区新科技楼705
通讯地址：西安电子科技大学177信箱，710071
电子邮箱：x@foxmail.com或x@mail.xidian.edu.cn, x为xbwang



个人简介
计算机科学与技术学院计算机科学系党支部书记，系主任。
中国计算机学会高级会员，中国自动化学会会员。
西安电子科技大学计算机学院工学学士、工学硕士与工学博士。
美国University of Texas at Dallas公派访问****。
主持国家自然科学基金面上项目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年，西安电子科技大学计算机学院青年教师讲课竞赛，特等奖

---

王小兵
计算机科学与技术学院
博士，副教授，博士生导师
博士学科：计算机科学与技术（计算机软件与理论）
硕士学科：计算机科学与技术（学硕）、电子信息（专硕）
工作单位：计算机科学与技术学院
办公地点：北校区新科技楼705
通讯地址：西安电子科技大学177信箱，710071
电子邮箱：x@foxmail.com或x@mail.xidian.edu.cn, x为xbwang



个人简介
计算机科学与技术学院计算机科学系党支部书记，系主任。
中国计算机学会高级会员，中国自动化学会会员。
西安电子科技大学计算机学院工学学士、工学硕士与工学博士。
美国University of Texas at Dallas公派访问****。
主持国家自然科学基金面上项目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级硕士生任丽园获得国家奖学金奖励

招生要求
要求：认真好学即可 报名参考：
工学硕士：偏向科学研究，与离散数学、编译原理类课程联系紧密 工程硕士：偏向软件开发，与数据结构、程序设计、数据库系统原理类课程联系紧密
具体情况请在报考前邮件或电话联系交流。

---

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
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~