Bai Xue

Full Professor, Chinese Academy of Sciences, Chinese Academy of Sciences

  • Joined May 2021

Names

Bai Xue (Preferred)

Emails

****@ios.ac.cn (Confirmed)

Personal Links

Career & Education History

Full Professor
Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2021 – Present
 
Associate Professor
Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2017 – 2021
 
Postdoc
Carl von Ossietzky Universität Oldenburg (uol.de)
2015 – 2017
 

Advisors, Relations & Conflicts

PhD Advisor
2008 – 2014
 

Expertise

AI
2020 – 2025
 
Formal Methods
2008 – 2025