沈博


的个人主页 http://teacher.nwpu.edu.cn/shenbo

基本信息 The basic information

沈博

计算机学院

博士研究生毕业

工学博士

副教授

计算机科学与技术

shen@nwpu.edu.cn

综合介绍 General Introduction

沈博,2017年博士毕业于西北工业大学,2017年至2018年前往普林斯顿大学从事博士后研究(合作导师:S.Y.Kung, IEEE Life Fellow),现为西北工业大学计算机学院副教授,CCF形式化专委会副秘书长。 主要从事人机物融合系统建模、分析及其测试,群体智能无人系统测试与评价、软件智能合成理论与方法等研究,主持国家自然基金、国家重点研发计划子课题、CCF-华为联合基金等项目5项;作为骨干参与国家自然基金重大项目、国家重点研发计划、863计划、xxx重点项目等10余项,发表学术论文近20篇,申请专利、软著10余项。此外,担任IEEE QRS 2021、QRS 2022、CCF ChinaSoft 2022、 CCF CIRAC 2022、ICAUS 2022等多个国际会议相关Track的Chair。