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

 

   王小兵

   计算机科学与技术学院

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

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

   硕士学科:计算机科学与技术(学硕)、计算机技术(专硕)

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

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

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

                                                                

个人简介

    计算机拔尖班负责人。

    计算机科学系党支部书记,系主任。

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

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

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

    主持国家自然科学基金面上项目2项,陕西省重点研发计划项目2项,西安市科技计划项目1项,华为鲲鹏众智计划项目3项,中央高校基本科研业务费资助项目3项,软件工程国家重点实验室开放基金1项,教育部产学合作协同育人项目3项。在国内、国际刊物与学术会议上发表SCI/EI检索学术论文40余篇。

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

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

  3. 高可信软件技术

教学

     1. 数据库系统:本科必修课,主讲,西电智课平台课程链接

         (1)面向openGauss的数据库系统实践平台(测试用户名:T20220001,密码:12345678)

         (2)关系数据库自主学习与自动评判系统(测试用户名:1,密码:1)

     2. 编译原理:本科必修课,主讲,西电智课平台课程链接

     3. Web开发模式:硕士任选课,主讲

科研项目
  1. 陕西省重点研发计划项目:华为openGauss日期插件模块需求的形式化建模与验证,2023年1月-2024年12月,负责人
  2. 西安市科技计划项目:西安市公交驾驶员违规预测研究,2022年7月-2024年6月,负责人
  3. 华为鲲鹏众智计划项目:openGauss-实现或兼容MySQL日期处理函数开发,2022年2月-2022年11月,负责人
  4. 华为鲲鹏众智计划项目:面向openGauss的数据库系统实践平台,2022年2月-2022年8月,负责人
  5. 华为鲲鹏众智计划项目:openGauss支持在线reindex开发,2021年9月-2021年11月,负责人
  6. 陕西省重点研发计划项目:区块链智能合约的建模与验证支撑环境研究,2020年1月-2021年12月,负责人
  7. 国家自然科学基金面上项目:社交网络系统的建模与运行时验证,2017年1月-2020年12月,负责人
  8. 国家自然科学基金面上项目:实时安全关键系统的建模、仿真与验证,2013年1月-2016年12月,负责人
  9. 中央高校基本科研业务费资助项目:基于TMSVL的实时系统运行形式化分析,2014年1月-2015年12月,负责人
  10. 中央高校基本科研业务费资助项目:基于RT-MSVL的实时安全关键系统的仿真、建模与验证,负责人
  11. 中央高校基本科研业务费资助项目:基于SAT的组合Web服务的建模与验证,负责人
  12. 软件工程国家重点实验室开放基金项目:基于投影时序逻辑的组合Web服务的建模与验证,负责人
  13. 国家自然科学基金重点项目:开放软件系统的基础理论与关键技术,2012年1月-2016年12月,主要成员 
教学项目
  1. 教育部-阿里云计算有限公司,产学合作协同育人项目-新工科建设:基于阿里云平台的数据库管理系统设计与实现,2021年3月-2023年1月,负责人
  2. 教育部-华为技术有限公司,产学合作协同育人项目-新工科建设:基于GaussDB100的数据库实验课程改革,2019年10月-2020年12月,负责人
  3. 教育部-北京无忧创想信息技术有限公司,产学合作协同育人项目-教学内容和课程体系改革:关系数据库辅助设计系统研究,2020年1月-2020年12月,负责人
获奖
  1. 2023年,鲲鹏应用创新大赛全国总决赛金奖
  2. 2022年,华为高斯传道授业杰出贡献奖
  3. 2022年,教育部-华为智能基座优秀在线课程奖励计划:数据库系统
  4. 2022年,华为鲲鹏众智星光奖
  5. 2022年,陕西省高等教育教学成果二等奖,排名第4
  6. 2021年,华为智能基座产教融合协同育人基地奖教金
  7. 2021年,西安电子科技大学优秀教师
  8. 2016年,西安电子科技大学师德先进个人
  9. 2015年,陕西省科学技术奖一等奖,排名第4
  10. 2014年,西安电子科技大学计算机学院“我最感谢的大学老师”
  11. 2012年,西安电子科技大学优秀教师
  12. 2010年,陕西省科学技术奖二等奖,排名第4
  13. 2008年,西安电子科技大学第六届青年教师讲课竞赛,三等奖
  14. 2008年,西安电子科技大学计算机学院青年教师讲课竞赛,特等奖