Dr. Bai Xue

Room 219, Building 5
State Key Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences
Beijing, China 100190
Email: xuebai@ios.ac.cn; Phone: +86-10-6266-1604

I am an associate research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences (CAS) since November, 2017, and enrolled in the CAS "Hundred Talents Program".

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, 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
April 1, 2021

Our paper 'Consensus Control for Heterogeneous Multi-vehicle Systems: An Iterative Learning Approach' was accepted by [Special Issue: Adaptive Learning and Control for Autonomous Vehicles] in the IEEE Transactions on Neural Networks and Learning Systems!

FEB 22, 2021

Our paper 'Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems' was accepted by IEEE TAC!

Jan 25, 2021

Our paper 'Reach-avoid Analysis for Stochastic Discrete-time Systems' was accepted by ACC 2021!

Dec 30 2020

I am enrolled in the CAS "Hundred Talents Program"!

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
  • 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
  • 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)
  • CAS Pioneer Hundred Talents Program (Chinese Academy of Sciences, 2018--2023)
    • Thesis
    Master Students
  • Renjue Li
  • Changyuan Zhao