基本信息

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

电子邮件: 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-计算机科学与技术