基本信息 The basic information
综合介绍 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。