About
Qiyi becomes a lecturer (assistant professor) in the Department of Computer Science at the University of Liverpool from November 2022.
Prior to that, she worked as a postdoctoral researcher in different places. She was a research associate at the University of Liverpool, supervised by Prof. Xiaowei Huang and Prof. Sven Schewe. She was working on algorithmic comparison of probabilistic systems, with Prof. Stefan Kiefer at the University of Oxford and the compiler bug impact project at Imperial College London. Qiyi was also a lecturer at Balliol College, the University of Oxford for the 2020-2021 academic year.
Her research interests include software verification, probabilistic models, automata theory and compiler testing.
She received her Ph.D. in 2018 from York University, Toronto under the supervision of Prof. Franck van Breugel. She received the Governor General's Academic Gold Medal, Canada's most prestigious academic award for students. She has obtained her Master's degree in Computer Science at Oxford University with Distinction in 2013.