Qiyi is a research associate in the Department of Computing at Imperial College London, where she is working in the Software Reliability Group and Multicore Programming Group on compiler testing. Her research interests include probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.

She received her Ph.D. from York University, Toronto under the supervision of Franck van Breugel. Her research is closely related to probabilistic model checking and her Ph.D. thesis is about algorithms to compute the probabilistic bisimilarity distances for labelled Markov chains and probabilistic automata.

Other Publications

  • Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata

    Qiyi Tang, Franck van Breugel

    29th International Conference on Concurrency Theory (CONCUR 2018)

  • Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains

    Qiyi Tang, Franck van Breugel

    30th International Conference on Concurrency Theory (CAV 2018)

  • Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chain

    Qiyi Tang, Franck van Breugel

    28th International Conference on Concurrency Theory (CONCUR 2017)

  • Computing Probabilistic Bisimilarity Distances via Policy Iteration

    Qiyi Tang, Franck van Breugel

    27th International Conference on Concurrency Theory (CONCUR 2016)