Registered user since Mon 11 Feb 2019
Name: Qiyi Tang
Bio: Qiyi is a research associate in the Department of Computer Science at Oxford University, working on algorithmic comparison of probabilistic systems, under the supervision of Prof. Stefan Kiefer. Prior to that, she was working under supervision of Prof. Cristian Cadar and Prof. Alastair Donaldson at Imperial College London on the compiler bug impact project. Her research interests include bisimilarity distances, probabilistic models, policy iteration algorithms, 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 for her PhD study. She has obtained her Master’s degree in Computer Science at Oxford University with Distinction in 2013.
Country: United Kingdom
Affiliation: University of Oxford
Personal website: https://sites.google.com/view/qiyitang/
Research interests: Probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.