The DisCoVeri Group

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.

April 26, 2012

Nastaran Shafiei is mentor for a Google's Summer of Code project about Java PathFinder (JPF). In the project, Matteo Ceccarello, a student of the Univeersity of Padua, will develop a so-called conformance checker for JPF.

January 26, 2012

Three papers of members of the DisCoVeri group have been accepted for presentation at the European Joint Conferences on Theory & Practice of Software.

June 13, 2011

Master's student Xin Zhang and undergraduate student Trevor Brown received their degrees. Xin won a Faculty of Graduate Studies Thesis Prize (only three of these prizes were awarded university wide). Trevor won the Faculty of Science and Engineering Silver Medal.

May 9, 2011

Elise Cormie-Bowins has been awarded an Ontario Graduate Scholarship to support her research in the DisCoVeri group during 2011-2012.