Bai Xue
Room 215, Building 5
Key Laboratory of System Software
(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.edu.cn/~xuebai

I am a professor at the Key Laboratory of System Software (Chinese Academy of Sciences), Chinese Academy of Sciences (formerly known as the State Key Laboratory of Computer Science at the Institute of Software, CAS) since September 2021. In September 2024, I was appointed Deputy Director of the Key Laboratory of System Software.
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
I am deeply honored to have the opportunity to conduct an academic visit toProf. Luke Ong at Nanyang Technological University (NTU) from August 13 to February 13, 2026.
I am deeply honored to have the opportunity to conduct an academic visit toProf. Luke Ong at Nanyang Technological University (NTU) from June 11 to June 30, 2025.
We are happy to welcomeProf. Nacim Ramdani for a visit to our group on June 8-9, 2025.
I am deeply honored to be invited to the Colloquium on Design and Verification of Cyber-Physical Systems: From Theory to Applications, in celebration of Prof.Prof. Martin Fränzle's 60th birthday.
I am deeply honored to have the opportunity to conduct an academic visit toProf. Arvind Easwaran at Nanyang Technological University (NTU) from January 14 to January 21, 2025.
I was invited to give a talk at Prof Shankar Sastry's Semiautonomous Seminar (EECS, UC Berkeley)! The topic title is 'A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems'. The slides can be downloaded here.