王小兵 博士，副教授，硕士生导师硕士学科：计算机软件与理论 工作单位：计算机学院
通信地址：西安电子科技大学177信箱,710071
电子邮箱：x@foxmail.com或x@mail.xidian.edu.cn,x为xbwang
办公电话：189-928-70436
办公地点：北校区新科技楼705
个人简介
2000年、2003年与2009年分别于西安电子科技大学计算机学院获得工学学士、工学硕士与工学博士学位。2003年起在西安电子科技大学计算机学院工作至今。迄今主持国家自然科学基金面上项目1项，中央高校基本科研业务费资助项目2项，软件工程国家重点实验室开放基金1项。在国内、国际刊物与学术会议上发表SCI/EI检索学术论文15篇。
主要研究方向
1.高可信软件技术
2.实时系统建模与验证
教学
- 《数据库原理》，本科必修课，主讲，课程组长《编译原理》，本科必修课，主讲《Web程序设计》，硕士任选课，主讲
科研项目
- 国家自然科学基金面上项目：实时安全关键系统的建模、仿真与验证，2013年1月-2016年12月，项目负责人中央高校基本科研业务费资助项目：基于RT-MSVL的实时安全关键系统的仿真、建模与验证，项目负责人中央高校基本科研业务费资助项目：基于SAT的组合Web服务的建模与验证，项目负责人软件工程国家重点实验室开放基金项目：基于投影时序逻辑的组合Web服务的建模与验证，项目负责人国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，2012年1月-2016年12月，主要成员
获奖
- 2012年，西安电子科技大学优秀教师2009年，陕西省科学技术奖二等奖，排名第42008年，西安电子科技大学第六届青年教师讲课竞赛，三等奖2008年，西安电子科技大学计算机学院青年教师讲课竞赛，特等奖
-----------------------------------------------------------------
王小兵 博士，副教授，硕士生导师硕士学科：计算机软件与理论 工作单位：计算机学院
通信地址：西安电子科技大学177信箱,710071
电子邮箱：x@foxmail.com或x@mail.xidian.edu.cn,x为xbwang
办公电话：189-928-70436
办公地点：北校区新科技楼705
个人简介
2000年、2003年与2009年分别于西安电子科技大学计算机学院获得工学学士、工学硕士与工学博士学位。2003年起在西安电子科技大学计算机学院工作至今。迄今主持国家自然科学基金面上项目1项，中央高校基本科研业务费资助项目2项，软件工程国家重点实验室开放基金1项。在国内、国际刊物与学术会议上发表SCI/EI检索学术论文15篇。
主要研究方向
1.高可信软件技术
2.实时系统建模与验证
教学
- 《数据库原理》，本科必修课，主讲，课程组长《编译原理》，本科必修课，主讲《Web程序设计》，硕士任选课，主讲
科研项目
- 国家自然科学基金面上项目：实时安全关键系统的建模、仿真与验证，2013年1月-2016年12月，项目负责人中央高校基本科研业务费资助项目：基于RT-MSVL的实时安全关键系统的仿真、建模与验证，项目负责人中央高校基本科研业务费资助项目：基于SAT的组合Web服务的建模与验证，项目负责人软件工程国家重点实验室开放基金项目：基于投影时序逻辑的组合Web服务的建模与验证，项目负责人国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，2012年1月-2016年12月，主要成员
获奖
- 2012年，西安电子科技大学优秀教师2009年，陕西省科学技术奖二等奖，排名第42008年，西安电子科技大学第六届青年教师讲课竞赛，三等奖2008年，西安电子科技大学计算机学院青年教师讲课竞赛，特等奖
-----------------------------------------------------------------
课程教学
-----------------------------------------------------------------
招生要求
按照以往的经验，2014年招生情况如下：
- 名额：工学、工程硕士合计6名要求：认真好学即可报名参考：
-----------------------------------------------------------------
Profile
NameTitle
Department:
ContactInformation
Address:
Email:
Tel:
Introduction
Putbriefintroductionofyourselfhere
ResearchInterests
1．
2.
3．
4．
5．
