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

 

   王小兵

   计算机科学与技术学院

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

   博士学科:计算机科学与技术(计算机软件与理论)

   硕士学科:计算机科学与技术(学硕)、电子信息(专硕)

   工作单位:计算机科学与技术学院

   办公地点:北校区新科技楼705

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

                                                                

个人简介

计算机科学与技术学院计算机科学系党支部书记,系主任。

中国计算机学会高级会员,中国人工智能学会会员,中国自动化学会会员。

西安电子科技大学计算机学院工学学士、工学硕士与工学博士。

美国University of Texas at Dallas公派访问学者。

主持国家自然科学基金面上项目2项,陕西省重点研发计划1项,华为鲲鹏众智计划项目3项,中央高校基本科研业务费资助项目3项,软件工程国家重点实验室开放基金1项。

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

研究方向
  1. 神经网络系统的建模与验证

  2. 社交网络系统的建模与验证

  3. 高可信软件技术

教学
  1. 《数据库系统》,本科必修课,主讲,学在西电课程资源链接关系数据库自主学习与自动评判系统(基于SQL Server,平时成绩评定使用)(测试用户名和密码均为1),关系数据库自主学习与自动评判系统(基于openGauss,限制校内IP使用)(测试用户名和密码均为1)
  2. 《编译原理》,本科必修课,主讲,学在西电课程资源链接
  3. 《Web开发模式》,硕士任选课,主讲
科研项目
  1. 华为鲲鹏众智计划项目3项:openGauss支持在线reindex开发,openGauss-实现或兼容MySQL日期处理函数开发,面向openGauss的数据库系统实践平台,项目负责人
  2. 陕西省重点研发计划项目:区块链智能合约的建模与验证支撑环境研究,2020年1月-2021年12月,项目负责人
  3. 国家自然科学基金面上项目:社交网络系统的建模与运行时验证,2017年1月-2020年12月,项目负责人
  4. 国家自然科学基金面上项目:实时安全关键系统的建模、仿真与验证,2013年1月-2016年12月,项目负责人
  5. 中央高校基本科研业务费资助项目:基于TMSVL的实时系统运行形式化分析,2014年1月-2015年12月,项目负责人
  6. 中央高校基本科研业务费资助项目:基于RT-MSVL的实时安全关键系统的仿真、建模与验证,项目负责人
  7. 中央高校基本科研业务费资助项目:基于SAT的组合Web服务的建模与验证,项目负责人
  8. 软件工程国家重点实验室开放基金项目:基于投影时序逻辑的组合Web服务的建模与验证,项目负责人
  9. 国家自然科学基金重点项目:开放软件系统的基础理论与关键技术,2012年1月-2016年12月,主要成员 
教学项目
  1. 教育部-阿里云计算有限公司,产学合作协同育人项目-新工科建设:基于阿里云平台的数据库管理系统设计与实现,2021年3月-2023年1月,项目负责人
  2. 教育部-华为技术有限公司,产学合作协同育人项目-新工科建设:基于GaussDB100的数据库实验课程改革,2019年10月-2020年12月,项目负责人
  3. 教育部-北京无忧创想信息技术有限公司,产学合作协同育人项目-教学内容和课程体系改革:关系数据库辅助设计系统研究,2020年1月-2020年12月,项目负责人
获奖
  1. 2021年,华为智能基座产教融合协同育人基地奖教金
  2. 2021年,西安电子科技大学优秀教师
  3. 2016年,西安电子科技大学师德先进个人
  4. 2015年,陕西省科学技术奖一等奖,排名第4
  5. 2014年,西安电子科技大学计算机学院“我最感谢的大学老师”
  6. 2012年,西安电子科技大学优秀教师
  7. 2010年,陕西省科学技术奖二等奖,排名第4
  8. 2008年,西安电子科技大学第六届青年教师讲课竞赛,三等奖
  9. 2008年,西安电子科技大学计算机学院青年教师讲课竞赛,特等奖