Name:Qiyi Tang

Bio:

Qiyi is a lecturer in the Department of Computer Science at the University of Liverpool.

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 and automata theory.

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.

Country:United Kingdom

Affiliation:University of Liverpool

Research interests:Probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.