赵星宇武汉大学

个人简介

赵星宇，武汉大学，国家网络安全学院教授，博士生导师，国家高层次青年人才计划（海外）入选者，华威大学（University of Warwick）荣誉副教授，利物浦大学（University of Liverpool）荣誉讲师，英国高等教育协会会士（HEA），国际自主系统保障协会会士（AAIP）。于北京航空航天大学获得学士与硕士学位，后赴城市圣乔治伦敦大学深造并获计算机博士学位，师从软件可靠性学科奠基人之一Bev Littlewood教授与英国皇家工程院院士Robin Bloomfield教授。博士毕业后，曾先后任职于多所英国罗素集团大学，于2026年全职加入武汉大学，任正教授、博士生导师。长期致力于安全关键系统的可靠性与安全性技术研究，核心研究方向包括：可信人工智能、软件可靠性、形式化验证、贝叶斯推理及安全性分析与保障。学术服务方面，担任IEEE-NNLS副主编，NeurIPS领域主席，英国研究与创新基金会（UKRI）项目评审专家等职务。作为主持与合作主持，累计牵头及参与获取研究经费达630万英镑。主导的研究项目获英国EPSRC、欧盟地平线计划、英国学术院等机构资助，并与西门子、华为、英伟达、DENSO、Wayve及NCC集团等企业长期合作。

研究方向

可信人工智能（robustness, security, safety, explainability, privacy, fairness, uncertainty quantification）
鲁棒的贝叶斯推理（conservative Bayesian inference, imprecise probability）
形式化验证（probabilistic/parametric model checking）
系统安全性分析与保障（STPA, CAST, assurance case)
系统可靠性评估与测试

科研项目

在英国期间，累计获得研究资助共计630万英镑。其中，作为主持（PI）获得的资助金额超过52万英镑。

主持（PI）项目

2025 - 2027, 英国工程与物理科学研究理事会 New Investigator Award, £500K：利用合成数据保真度确保自动驾驶汽车的感知。合作伙伴：西门子、DENSO、Wayve-UK、Adelard（NCC集团）、查尔姆斯理工大学、利物浦大学、城市圣乔治伦敦大学。
2025 - 2025, The British Academy, £10K: 智能车人工智能组件的验证。合作伙伴：Adelard（NCC集团）。
2025 - 2025, NVIDIA Academic Grant Program, 2K GPU hours：概率鲁棒性的对抗训练。
2019 - 2023, 劳氏基金会, £15K：国际自主系统保障计划会士。

共同主持（Co-PI）项目

2026 - 2030, 欧盟玛丽·居里学者交流计划，£270K英镑：极端环境下分布式智能协同机器人韧性协作系统。合作伙伴：世宗大学、东京大学、北京交通大学、浙江大学等。
2025 - 2028, 欧盟地平线计划，£5M英镑（华威大学获£500K英镑）：协同式智能交通应用中的AI增强集体智能。合作伙伴：欧盟10多个工业和学术合作伙伴。
2022 - 2023, 英国创新署，£75K英镑：去中心化分布式学习的隐私性、准确性、通信复杂度与效率的权衡。
2021 - 2022, 英国国防科学技术实验室，£400K英镑：自主水下航行器的安全性论证。合作伙伴：Dstl、Adelard（NCC集团），英国海事与海岸警卫局。
2020 - 2021, 英国工程与物理科学研究理事会（via ORCA-hub），£300K英镑：不确定环境下机器人系统的持续验证与保障。合作伙伴：约克大学。

工作经历

2026 - 至今：武汉大学，国家网络安全学院，教授
2025 - 2026：华威大学，制造工程学院（WMG），副教授
2023 - 2025：华威大学，制造工程学院（WMG），助理教授
2021 - 2023：利物浦大学，计算机学院，助理教授
2018 - 2021：赫瑞瓦特大学，工程学院，博士后
2017 - 2018：城市圣乔治伦敦大学，软件可靠性中心，博士后
2009 - 2012：北京航空航天大学，飞行学院，半脱产辅导员

教育背景

2013 - 2017：城市圣乔治伦敦大学，计算机科学，博士
2010 - 2013：北京航空航天大学，系统工程，硕士
2006 - 2010：北京航空航天大学，软件工程，学士

课程教学

本科课程

2023 - 2025，华威大学，工程数学（ES193）
2021 - 2023，利物浦大学，形式化方法（COMP313）

荣誉获奖

本人主要获奖及荣誉称号

2025：PRICAI'25最佳论文提名奖
2023：英美隐私增强技术奖挑战赛最佳建模奖
2021：AISafety'21最佳论文奖
2019：ISSRE'19最佳论文提名奖

学生主要获奖及荣誉称号

2025: 张艺（华威大学），华威新星奖
2021: 黄炜（利物浦大学），利物浦大学“成为专家”系列专题报道
2021: 黄炜（利物浦大学），西门子AI可靠性评估挑战赛最佳原创方法奖

学术服务

学术期刊

副编辑：《IEEE Tran. on Neural Networks and Learning Systems》(2026-今，SCI-1区top)
客座编辑《Applied Sciences》(2026)
MDPI专题编辑《安全可靠的自主系统》(2023)
理论计算机科学栏目编辑《Frontiers in Computer Science》（2023）
审稿人: CACM, ACM-TOSEM, RESS, IEEE-TCCN, IEEE-TCAD, JSS, NN, ACM-CSUR, IEEE-RA-L, SCSC-eJ等

学术会议

领域主席: NeurIPS (2025-今)
委员会委员: AAAI (2023-今), NeurIPS (2025-今), UAI (2021-今), ACMMM(2026-今), ICDM (2024-今), BMVC (2026-今) ACM-SAC (2025-今), SEAMS (2026-今), VERIFAI (2026) AISafety@IJCAI (2024-今), WAISE@SafeComp (2022-今), HFSD@ISSRE (2024-今)
审稿人: NeurIPS, CVPR, ICML, ICCV, ECCV, ICLR, AAAI, ICRA, IROS, ITSC, IV, ICDM, ACMMM, SEAMS, ICSE, UAI等

标准化

中国指挥与控制学会团体标准T/CICC-35008/35009/35012，《复杂软件系统可靠性技术要求》、《复杂软件系统功能安全性技术要求》、《复杂智能系统可靠性技术要求》（2025）

基金评审

英国研究与创新基金会（UKRI）
英国可信赖自主系统计划（TAS-hub）基金会

学生培养

学生培养理念：重拾科研的乐趣，将科研转变为一段充满好奇心、创造力和成就感的愉快旅程。

博士后

Robab Aghazadeh Chakherlou (03/2025 - 至今)：AI系统可靠性评估，华威大学，博士后研究员
王正 (02/2025 - 今)：安全AI基础理论研究，华威大学，博士后研究员

博士生

Danial Safaei (2024 - 今，华威大学，西门子资助)：合成数据保真性量化
Eric Chiu (2024 - 今，华威大学，AStar资助)：安全AI政策研究
陈宇航 (2024 - 今，华威大学，EPSRC资助)：生成式AI与对抗鲁棒性
张艺 (2023 - 今，华威大学，CSC资助)：概率鲁棒性
齐毅 (2021 - 2025，利物浦大学，CSC资助)：AI系统安全性分析。现就职利兹大学
吴思豪 (2021 - 2025，利物浦大学，CSC资助)：鲁棒的强化学习。现就职中科院
黄炜 (2019 - 2023，利物浦大学，EPSRC资助)：自主系统中机器学习安全性的验证与确认。现就职紫金山实验室

学术型硕士

todo

专业型硕士

todo

访问学者

Long Xue (02/2025 - 08/2025)：不确定性量化，香港理工大学
Ziyi Hu (09/2025 - 09/2026)：无人机调度优化，武汉大学