Qiyi Tang

I'm a PhD candidate in computer science at York University. My supervisor is Franck van Breugel and I'm a member of the DisCoVeri Group.

Mailing address
Department of Electrical Engineering and Computer Science
York University
4700 Keele Street
Toronto, Ontario M3J 1P3

Contact
Email: qiyitang (at) cse.yorku.ca
Office: Lassonde 3003

Research

Research Interests

Bisimilarity Distances, Formal Verification, Model Checking and Distributed Systems

Publications

Teaching