Qiyi Tang (汤淇伊)

Research Associate, University of Liverpool

Email: Qiyi.Tang@liverpool.ac.uk

Qiyi is a research associate in the Department of Computer Science at the University of Liverpool, supervised by Prof. Xiaowei Huang and Prof. Sven Schewe.

Prior to that, 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.