Dr. Bai Xue

Room 215, Building 5

State Key Laboratory of Computer Science

Institute of Software, Chinese Academy of Sciences

No. 4, South Fourth Street, Zhong Guan Cun

Beijing, China 100190

Email: xuebai@ios.ac.cn

Phone: +86-10-6266-1624

Homepage[Chinsese]: http://people.ucas.ac.cn/~xuebai

I am a research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences (CAS) since September 2021.

I received the B.Sc. degree in information and computing science from Tianjin University of Technology and Education in 2008, and the Ph.D. degree in applied mathematics from Beihang University in 2014. Prior to joining Institute of Software as an associate research professor in November 2017, I worked as a research fellow in the Centre for High Performance Embedded Systems at Nanyang Technological University from May, 2014 to September, 2015, and as a postdoc in the Department füer Informatik at Carl von Ossietzky Universität Oldenburg from November, 2015 to October, 2017.

News

Oct. 28, 2023

Our paper 'Reach-Avoid Analysis for Polynomial Stochastic Differential Equations' was accepted by IEEE TAC!

Sep. 28, 2023

Our paper 'Consensus Verification for Heterogeneous Polynomial Networked Systems' was accepted by Journal of the Franklin Institute!

July. 12, 2023

Our paper 'Safe Probabilistic Invariance Verification for Stochastic Discrete-time Dynamical Systems' was accepted by CDC2023!

July. 10, 2023

Our paper 'Qualitative and Quantitative Model Checking against Recurrent Neural Networks' was accepted by JCST!

April. 22, 2023

Our paper 'Reach-avoid Verification Based on Convex Optimization' was accepted by IEEE TAC!

April. 20, 2023

Our paper 'Model Predictive Control with Reach-avoid Analysis' was accepted by IJCAI2023!

April. 10, 2023

Our paper ' Safety Verification for Neural Networks Based on Set-boundary Analysis' was accepted by TASE2023!

Dec. 19, 2022

Our prototyping tool PyBDR, which implements ourset-boundary reachability method, is online!

Research Interests

My research interests mainly involve, but are not limited to,

Formal Verification of (Time-delay/Stochastic) Hybrid Systems

Formal Verification of Artificial Intelligence

Professional Activities

AAAI-24, PC Member

AAAI-24 SRRAI, PC Member

HSCC 2023, PC Member

AAAI 2023, PC Member

SETTA 2022, PC Member

RADAS 2021, PC Member

HSCC 2022, PC Member

CCF Chinasoft 2021 FMAC, PC Member

CCF Chinasoft 2021 AVIS, PC Member

SETTA 2021, PC Member

MEMOCODE 2021, Publicity Chair

EMSOFT 2021, PC Member

AAAI 2021, PC Member

HSCC 2021, PC Member

CCF TCFM, Committee member

CCF Computing History, Committee member

EMSOFT 2020, PC Member

HSCC 2020, POSTER/DEMO PC Memmber

ICCPS 2020, Publicity Chair(Asia)

EMSOFT 2019, PC Member

MEMOCODE 2019, Publicity Chair

EMSOFT 2018, WiP Committee Member

SSFM 2018/2019(Summer School on Formal Methods), Local Organizer

Projects

Formal Verification of Task-driven Robotic Hybrid Systems (CCF-Huawei Formal Methods Innovation Research Funding, 2021--2022)

Trust to Train and Train to Trust: Agent Training Programs for Safety-Critical Environments (Singapore Ministry of Education)(with NUS, NTU, SMU, 2021--2025)

Safety Assurance for Machine Learning in CPS (Singapore Ministry of Education)(with NTU, Singapore and ASU, USA, 2020--2023)

Formal Verification of Delayed Dynamical Systems and Hybrid Systems(National Natural Science Foundation of China, 2019--2022)

A Human-like Task Palnning, Reasoning and Verification System Research and Applications (National Natural Science Foundation of China, 2019--2023)

Group Members

Shengchao He(Post-doc)

Dejin Ren (PhD student)

Yiling Xue (PhD student)

Taoran Wu (Master student)

Chenyu Wu (Master student)

Yonghan Li (Master student)

Jingduo Pan (Master student)

Wei Li (Master student)

Mian Kong (Visiting Scholar)

Alumni

Renjue Li (Master student)

Changyuan Zhao (Master student)

Jianqiang Ding (Research Assistant)

Zhen Liang (Visiting Scholar)