Group Members

	Franck van Breugel, Professor Franck received his MSc from Eindhoven University of Technology and carried out his PhD research at the Dutch Centre for Mathematics and Computer Science and the Free University Amsterdam. Before joining York University, he spent some time at McGill University,the University of Pisa and the Danish Institute on Basic Research in Computer Science. In 2004-05, he was a visiting scholar at the University of Cambridge. His research interests include concurrency theory and verification.
	Eric Ruppert, Professor Eric was educated at the University of Toronto, where he completed his PhD in 1999. He spent one year as a postdoctoral fellow at Brown University before joining York University. He has also spent time as a visiting professor at the Ecole Polytechnique Federale de Lausanne. His research interests include distributed algorithms and data structures, lower bounds, and models of distributed computing.
	Niloofar Banivaheb , Research assistant Niloofar is interested in applying techniques of reinforcement learning in the context of probabilistic model checking.
	Xiwen Chen, MSc candidate Xiwen received his BSc in software engineering from the University of Electronic Science and Technology of China (2010). He is interested in algorithms and data structures. His area of research is distributed computing, in particular proving the linearizability of concurrent data structures.
	Elise Cormie-Bowins, MSc candidate Elise Cormie-Bowins received her BSc in computer science from The University of Western Ontario (2010). Elise won the York University 2010-2011 Ecole Polytechnique Montreal Women's Memorial Scholarship.
	Joanna Helga, MSc candidate Joanna Helga received her BSc in computer science from Parahyangan University in Indonesia (2006). She started her Master's studies in 2009. Her research interests include design and analysis of lock-free algorithms for distributed systems.
	Nastaran Shafiei, PhD candidate Nastaran Shafiei obtained a BSc from the Amirkabir University of Technology in Iran (2004) and a MSc from Ryerson University in Canada (2008). She started her PhD studies in 2008. Her research interests include software model checking and concurrency.
	Niloufar Shafiei, PhD candidate Niloufar Shafiei received her BSc from the Amirkabir University (Tehran Polytechnic) in computer science. After that, she moved to Toronto and entered the York University. She completed her MSc in 2005 under supervision of Eric Ruppert (her MSc thesis received the departmental best thesis award). Now she is in the PhD program and conducting research under supervision of Eric Ruppert. Her research interests include distributed computing.
	Xin Zhang, Research associate Xin Zhang received his BSc from York University in 2008. That year he started his graduate studies. His research interests include model checking and randomized algorithms. He completed his MSc in 2010. He won a York University thesis award.
	Steven Xu, Undergraduate student Steven Xu is a second year undergraduate student at York University. His research interests include testing.
	Anton Belov, Alumnus Anton Belov received his BA in computer science from the Technion (Israeli Institute of Technology) in 1996. He moved to Toronto and worked in the software industry until 2005. During that period of time he completed MSc at York University (his MSc thesis received the departmental best thesis award). His research interests include theory and applications of satisfiability checking (SAT), in particular applications of SAT to model checking. He completed his Ph.D. in 2010 and is now a postdoc in Dublin.
	Trevor Brown, Alumnus Trevor was an undergraduate student at York, majoring in Computer Science, with a minor in Pure Mathematics. Prior to his studies at York, he worked in industry for a few years. He received an honorable mention in the 2011 Outstanding Undergraduate Research Awards for his work on summer research projects in the DisCoVeri group. He also won the Faculty of Science and Engineering Silver Medal. Currently, Trevor is a graduate student at the University of Toronto.