Speaker
Bai Xue
Bai Xue 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, he was appointed Deputy Director of the Key Laboratory of System Software. His research interests mainly involve, but are not limited to, verification and control of cyber-physical systems, safe reinforcement learning, and control theory.
He 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, he 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ür Informatik at Carl von Ossietzky Universität Oldenburg from November, 2015 to October, 2017.
More information:
Talks at this event:
| Sun, 16:30 | Stochastic System Safety: Probabilistic Invariance Verification |