学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 王小兵的留言板

 

  王小兵 

  博士,副教授,硕士生导师

  硕士学科:计算机软件与理论 

  工作单位:计算机学院
  办公地点:北校区新科技楼705

  通讯地址:西安电子科技大学177信箱,710071
  电子邮箱:x@foxmail.com或x@mail.xidian.edu.cn, x为xbwang
  电    话:189-928-70436

                                                                

个人简介

计算机学院计算机科学系主任。

中国计算机学会高级会员,中国自动化学会会员。

2000年、2003年与2009年分别于西安电子科技大学计算机学院获得工学学士、工学硕士与工学博士学位。

2003年起在西安电子科技大学计算机学院工作至今。

2014年12月至2015年12月在美国University of Texas at Dallas公派访问留学1年。

迄今主持国家自然科学基金面上项目2项,中央高校基本科研业务费资助项目3项,软件工程国家重点实验室开放基金1项。

在国内、国际刊物与学术会议上发表SCI/EI检索学术论文二十余篇。

主要研究方向
  1. 社交网络建模与验证

  2. 实时系统建模与验证

  3. 高可信软件技术
教学
  1. 《数据库原理》,本科必修课,主讲,课程组长
  2. 《编译原理》,本科必修课,主讲,课程组长
  3. 《Web程序设计》,硕士任选课,主讲
科研项目
  1. 国家自然科学基金面上项目:社交网络系统的建模与运行时验证,2017年1月-2020年12月,项目负责人
  2. 国家自然科学基金面上项目:实时安全关键系统的建模、仿真与验证,2013年1月-2016年12月,项目负责人
  3. 中央高校基本科研业务费资助项目:基于TMSVL的实时系统运行形式化分析,2014年1月-2015年12月,项目负责人
  4. 中央高校基本科研业务费资助项目:基于RT-MSVL的实时安全关键系统的仿真、建模与验证,项目负责人
  5. 中央高校基本科研业务费资助项目:基于SAT的组合Web服务的建模与验证,项目负责人
  6. 软件工程国家重点实验室开放基金项目:基于投影时序逻辑的组合Web服务的建模与验证,项目负责人
  7. 国家自然科学基金重点项目:开放软件系统的基础理论与关键技术,2012年1月-2016年12月,主要成员 
获奖
  1. 2016年,西安电子科技大学师德先进个人
  2. 2015年,陕西省科学技术奖一等奖,排名第4
  3. 2014年,西安电子科技大学计算机学院“我最感谢的大学老师”
  4. 2012年,西安电子科技大学优秀教师
  5. 2009年,陕西省科学技术奖二等奖,排名第4
  6. 2008年,西安电子科技大学第六届青年教师讲课竞赛,三等奖
  7. 2008年,西安电子科技大学计算机学院青年教师讲课竞赛,特等奖
版权声明:未经西安电子科技大学以及个人主页教师本人许可不得复制,转载传播本主页内容或用于任何商业用途,如需转载请征得主页所有者同意,并附上主页链接.
西安电子科技大学个人主页 站点地图 | | 王小兵的留言板 | 更新日期 :2016-10-10 | |
Copyright © 2011-2016 西安电子科技大学 版权所有 陕ICP备021284(05016169) Powered by 信息化建设处 & 电院网络中心