自我介绍
王小兵
● 副教授,博导,CCF高级会员,形式化方法专委会委员。
● 西安电子科技大学计算机科学与技术学院计算机科学系党支部书记,系主
任,计算机拔尖班学生培养负责人。
● 主要研究方向为形式化方法,应用领域为数据库内核与嵌入式操作系统内
核的形式化验证。
● 主持国家自然科学基金面上项目2项,陕西省重点研发计划2项,华为鲲鹏
众智计划项目3 项。在国内外会议和期刊上发表学术论文40余篇,成果已
在openGauss等开源社区以及华为等企业落地应用。
● 获陕西省科学技术一等奖、二等奖各1项,陕西省高等教育教学成果二等
奖1项。获教育部-华为智能基座优秀在线课程奖励计划,华为高斯传道授
业杰出贡献奖,鲲鹏应用创新大赛全国总决赛金奖等人才培养奖励。
文档被以下合辑收录
相关文档
评论