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

Assistant Professor
Suprakash Datta
Bioinformatics, computer networks; Parallel and distributed computation, performance...

Professor
Patrick W. Dymond
Theory of computation; Complexity theory, parallel algorithms and architectures....

Professor
Jeff Edmonds
Complexity, lower bounds, algorithms; Combinatorics, probability theory, scheduling....

Associate Professor
Andranik Mirzaian
Optimization: linear programming, combinatorial and convex optimization; Computational...

Associate Professor
Eric Ruppert
Theory of distributed computation, complexity theory, and the design and analysis...

Associate Professor
Zbigniew Stachniak
Formal methods in Artificial Intelligence (Automated Reasoning, Knowledge Representation);...

University Professor
George Tourlakis
Logic (classical, calculational, modal); Computability theory (computation with partial...