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. 中科院软件所杰青(2023年结题评估优秀)，2018

(1) Bai Xue*.  Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems. Arxiv, 2024.
(2) Bai Xue*. A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems. Arxiv, 2023. 
(3) Bai Xue*. Reach-avoid Controllers Synthesis for Safety Critical Systems. To appear in Transactions on Automatic Control(IEEE TAC), 2024.
(4) Bai Xue*. Safe Exit Controllers Synthesis for Continuous-time Stochastic Systems. To  appear in CDC2024, Arxiv, 2024.
(5) Bai Xue*, Naijun Zhan and Martin Fränzle. Reach-Avoid Analysis for Polynomial Stochastic Differential Equations.  IEEE Transactions on Automatic Control (IEEE TAC), 2024.
(6) Bai Xue*, Naijun Zhan, Martin Fränzle, Ji Wang and Wanwei Liu. Reach-avoid Verification Based on Convex Optimization. IEEE Transactions on Automatic Control (IEEE TAC), 2024.
(7) Bai Xue*, Renjue Li, Naijun Zhan and Martin Fränzle. Reach-avoid Analysis for Stochastic Discrete-time Systems.  In Proceedings of the 2021 American Control Conference (ACC 2021), 2021.
(8) 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.
(9) 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.
(10) 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.
(11)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)  任务驱动的安全强化学习 (中国科学院软件研究所基础研究项目), 主持, 2023.12-2028.11
 (2)  开放环境下的可信智能算法 (中国科学院稳定支持基础研究领域青年团队计划), 参与, 2022.08-2027.07
 (3)  中国科学院率先行动****, 主持, 2018-01--2023-12
 (4)  时滞(混成)系统安全性验证 (国家自然科学基金面上项目), 主持, 2019-01--2022-12
 (5)  面向机器人任务驱动的混成系统形式验证 (2021年度CCF-华为创新研究计划：形式化方法), 主持, 2021-05--2022-05
 (6)  类人任务规划、推理及其验证系统的研究和应用 (国家自然科学基金重点项目), 课题负责人, 2019-01--2023-12
 (7)  Safety Assurance for Machine Learning in CPS, 课题负责人, 2020-07--2023-06
 (8)  Trust to Train and Train to Trust: Agent Training Programs for Safety-Critical Environments, 参与,  2021-04--2025-05
 (9)  ***************************形式验证理论和技术，课题负责人，2021-08—2022-08

现指导学生
任德金  博士研究生  081200-计算机科学与技术  
薛一凌  博士研究生  081200-计算机科学与技术
吴陶然  硕士研究生  081200-计算机科学与技术  
吴晨雨  硕士研究生  085405-软件工程  
栗镛涵  硕士研究生  085405-软件工程  
潘竟铎  硕士研究生  085405-软件工程  
李    炜  硕士研究生  085405-软件工程  
刘   涵   本科生         081200-计算机科学与技术

已指导学生
赵常源  硕士研究生  081200-计算机科学与技术  
李仞珏  硕士研究生  081200-计算机科学与技术