The DisCoVeri group is part of the Department of Computer Science and Engineering 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 six students.
The group has multiple openings for MSc and PhD candidates. Although the research of the group has practical implications, its research is mainly theoretical and, therefore, candidates with high grades in (advanced) math courses are of special interest to the group.