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
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.
Our prototyping tool PyBDR, which implements ourset-boundary reachability method, is online!
Research InterestsMy research interests mainly involve, but are not limited to,
- Computing Rigor Quadratic Lyapunov Functions and Under-approximate Reachable Sets for Ordinary Differential Equations. Beihang University, 2013