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.