SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Qiyi Tang

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
Research interests:Probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.

Contributions

Show activities from other conferences

SPLASH 2020-profile
View general profile