基本信息

薛白  男   中国科学院软件研究所

电子邮件： xuebai@ios.ac.cn

办公电话：+86-10-62661624

通信地址： 北京市海淀区中关村南四街四号中科院软件所5号楼215

邮政编码： 100190

英文主页：  https://lcs.ios.ac.cn/~xuebai/


研究领域

1. 混成系统形式验证

2. AI形式验证

教育背景

2008-09--2014-01   北京航空航天大学   博士
2004-09--2008-07   天津工程师范学院   学士

工作经历

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-计算机科学与技术