Dr. Bai Xue
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.
My research interests mainly involve, but are not limited to,
- Safety Verification of (Time-delay/Stochastic) Hybrid Systems
- Safety Verification of Artificial Intelligence
Professional Activities
- 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
- 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, 2018--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
- Computing Rigor Quadratic Lyapunov Functions and Under-approximate Reachable Sets for
Ordinary Differential Equations. Beihang University, 2013
Master Students