Registered user since Mon 11 Feb 2019
Name: Qiyi Tang
Bio: 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.
Country: United Kingdom
Affiliation: Imperial College London
Personal website: https://srg.doc.ic.ac.uk/people/qiyi-tang/
Research interests: Probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.
|SPLASH 2019||Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track|
Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track
|Show activities from other conferences|
View general profile