The DisCoVeri group is part of York University in Toronto. Its members carry out research in the areas of distributed computing, concurrency and verification. Currently, the group consists of two professors and three students.
Our Faculty
Professor
Franck van Breugel
Concurrent programming languages: design, implementation, verification and programming....
Associate Professor
Eric Ruppert
Theory of distributed computation, complexity theory, and the design and analysis...