Dr Qiyi Tang

简介

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 th