The Theory Group

The Theory of Computing Group is a part of the Department of Computer Science and Engineering at York University in Toronto, Canada. Theoretical computer science uses mathematical techniques to prove theorems about computation. This area includes

  • Computability,
  • Complexity Theory,
  • Design and Analysis of Algorithms and Data Structures,
  • Parallel and Concurrent Computing, and
  • Logic in Computer Science.

This is an exciting area of research that forms the foundation for computer science and has many connections to other fields and important implications in the way computers are used. There are still many foundational questions that are unanswered, including some of the most important open questions in the mathematical sciences.

Contact Information
  • Visit Website
  • Lassonde Building room York University 4700 Keele St. Toronto, Ontario, Canada, M3J 1P3
Stay in Touch

Our Faculty

Suprakash Datta
Assistant Professor

Suprakash Datta

Bioinformatics, computer networks; Parallel and distributed computation, performance...
Patrick W. Dymond
Professor

Patrick W. Dymond

Theory of computation; Complexity theory, parallel algorithms and architectures....
Jeff Edmonds
Professor

Jeff Edmonds

Complexity, lower bounds, algorithms; Combinatorics, probability theory, scheduling....
Andranik Mirzaian
Associate Professor

Andranik Mirzaian

Optimization: linear programming, combinatorial and convex optimization; Computational...
Eric Ruppert
Associate Professor

Eric Ruppert

Theory of distributed computation, complexity theory, and the design and analysis...
Zbigniew Stachniak
Associate Professor

Zbigniew Stachniak

Formal methods in Artificial Intelligence (Automated Reasoning, Knowledge Representation);...
George Tourlakis
University Professor

George Tourlakis

Logic (classical, calculational, modal); Computability theory (computation with partial...