
薛白 男 中国科学院软件研究所 博导 研究员
电子邮件: xuebai@ios.ac.cn
办公电话:+86-10-62661624
通信地址: 北京市海淀区中关村南四街四号中科院软件所5号楼215
邮政编码: 100190
英文主页: https://lcs.ios.ac.cn/~xuebai/
研究领域
1. 混成系统形式验证
2. AI形式验证
教育背景
工作经历
1. 2021/09-至今, 中国科学院软件研究所,计算机科学国家重点实验室,研究员
2. 2017/11-2021/08, 中国科学院软件研究所,计算机科学国家重点实验室,副研究员
3. 2015/11-2017/10,德国奥登堡大学(Carl von Ossietzky Universität Oldenburg),博士后
4. 2014/05-2015/09,新加坡南洋理工大学(Nanyang Technological University, Singapore),博士后
荣誉
1. 中科院****择优支持,2020
2. 中科院软件所杰青,2018
代表性论文
(1) Bai Xue, Renjue Li, Naijun Zhan and Martin Fränzle. Reach-avoid Analysis for Stochastic Discrete-time Systems, in Proceedings of of the 2021 American Control Conference (ACC 2021), 2021, 通讯作者
(2) Bai Xue and Martin Fränzle and Naijun Zhan. Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties, IEEE Transactions on Automatic Control (IEEE TAC), 2020, 通讯作者
(3) Bai Xue, Miaomiao Zhang, Arvind Easwaran and Qin Li. PAC Model Checking of Black-Box Continuous-Time Dynamical Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(IEEE TCAD), 2020, 通讯作者
(4) Bai Xue and Arvind Easwaran and Nam-Joon Cho and Martin Fränzle. Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis, IEEE Transactions on Automatic Control (IEEE TAC), 2017, 通讯作者
(5) Bai Xue and Zhikun She and Arvind Easwaran. Under-Approximating Backward Reachable Sets by Polytopes, in Proceedings of the 28th International Conference on Computer Aided Verification(CAV 2016), 2016, 通讯作者
科研项目
( 1 ) 中国科学院率先行动****, 主持, 2018-01--2023-12
( 2 ) 时滞(混成)系统安全性验证 (国家自然科学基金面上项目), 主持, 2019-01--2022-12
( 3 ) 面向机器人任务驱动的混成系统形式验证 (2021年度CCF-华为创新研究计划:形式化方法), 主持, 2021-05--2022-05
( 4 ) 类人任务规划、推理及其验证系统的研究和应用 (国家自然科学基金重点项目), 课题负责人, 2019-01--2023-12
( 5 ) Safety Assurance for Machine Learning in CPS, 课题负责人, 2020-07--2023-06
( 6 ) ***************************形式设计验证及应用, 参与, 2019-06--2022-05
( 7 ) Trust to Train and Train to Trust: Agent Training Programs for Safety-Critical Environments, 参与, 2021-04--2025-05
( 8 ) ***************************形式验证理论和技术,课题负责人,2021-08—2022-08
学生(注:余如雷、王德运原为时磊老师学生,因工作调动,薛白实为挂名导师)
已指导学生
余如雷 硕士研究生 081203-计算机应用技术
王德运 硕士研究生 081203-计算机应用技术
现指导学生
赵常源 硕士研究生 081200-计算机科学与技术
任德金 硕士研究生 081200-计算机科学与技术
吴晨雨 硕士研究生 085400-电子信息
栗镛涵 硕士研究生 085400-电子信息
吴陶然 硕士研究生 081200-计算机科学与技术