 |
王小兵 计算机科学与技术学院 博士，副教授，博士生导师 博士学科：计算机科学与技术（计算机软件与理论） 硕士学科：计算机科学与技术（学硕）、计算机技术（专硕） 工作单位：计算机科学与技术学院 办公地点：北校区新科技楼705 通讯地址：西安电子科技大学177信箱，710071 |
个人简介
计算机拔尖班负责人。
计算机科学系党支部书记，系主任。
中国计算机学会高级会员，中国人工智能学会会员。
西安电子科技大学计算机学院工学学士、工学硕士、工学博士。
美国University of Texas at Dallas公派访问学者。
主持国家自然科学基金面上项目2项，陕西省重点研发计划项目2项，西安市科技计划项目1项，华为鲲鹏众智计划项目3项，中央高校基本科研业务费资助项目3项，软件工程国家重点实验室开放基金1项，教育部产学合作协同育人项目3项。在国内、国际刊物与学术会议上发表SCI/EI检索学术论文40余篇。
研究方向
神经网络系统的建模与验证
社交网络系统的建模与验证
高可信软件技术
教学
1. 数据库系统：本科必修课，主讲，西电智课平台课程链接
（1）面向openGauss的数据库系统实践平台（测试用户名：T20220001，密码：12345678）
（2）关系数据库自主学习与自动评判系统（测试用户名：1，密码：1）
2. 编译原理：本科必修课，主讲，西电智课平台课程链接
3. Web开发模式：硕士任选课，主讲
科研项目
- 陕西省重点研发计划项目：华为openGauss日期插件模块需求的形式化建模与验证，2023年1月-2024年12月，负责人
- 西安市科技计划项目：西安市公交驾驶员违规预测研究，2022年7月-2024年6月，负责人
- 华为鲲鹏众智计划项目：openGauss-实现或兼容MySQL日期处理函数开发，2022年2月-2022年11月，负责人
- 华为鲲鹏众智计划项目：面向openGauss的数据库系统实践平台，2022年2月-2022年8月，负责人
- 华为鲲鹏众智计划项目：openGauss支持在线reindex开发，2021年9月-2021年11月，负责人
- 陕西省重点研发计划项目：区块链智能合约的建模与验证支撑环境研究，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月，主要成员
教学项目
- 教育部-阿里云计算有限公司，产学合作协同育人项目-新工科建设：基于阿里云平台的数据库管理系统设计与实现，2021年3月-2023年1月，负责人
- 教育部-华为技术有限公司，产学合作协同育人项目-新工科建设：基于GaussDB100的数据库实验课程改革，2019年10月-2020年12月，负责人
- 教育部-北京无忧创想信息技术有限公司，产学合作协同育人项目-教学内容和课程体系改革：关系数据库辅助设计系统研究，2020年1月-2020年12月，负责人
获奖
- 2023年，鲲鹏应用创新大赛全国总决赛金奖
- 2022年，华为高斯传道授业杰出贡献奖
- 2022年，教育部-华为智能基座优秀在线课程奖励计划：数据库系统
- 2022年，华为鲲鹏众智星光奖
- 2022年，陕西省高等教育教学成果二等奖，排名第4
- 2021年，华为智能基座产教融合协同育人基地奖教金
- 2021年，西安电子科技大学优秀教师
- 2016年，西安电子科技大学师德先进个人
- 2015年，陕西省科学技术奖一等奖，排名第4
- 2014年，西安电子科技大学计算机学院“我最感谢的大学老师”
- 2012年，西安电子科技大学优秀教师
- 2010年，陕西省科学技术奖二等奖，排名第4
- 2008年，西安电子科技大学第六届青年教师讲课竞赛，三等奖
- 2008年，西安电子科技大学计算机学院青年教师讲课竞赛，特等奖