====== Theory of Computing Group ======

The Theory of Computing Group is a part of the [[http://www.cs.yorku.ca|Department of Electrical Engineering and Computer Science]] at [[http://www.yorku.ca|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. 

<box red | Job Opportunity:>
Our department is hiring four assistant professors who identify as women.  One of the areas in which we are particularly interested in hiring is theoretical computer science.  The deadline to apply is November 15, 2024.  See [[https://lassonde.yorku.ca/about/careers/faculty-recruitment|this link]] for more information.
</box>

Use the links on the left hand side of this page to find out more about the members of the group and their research and teaching.

{{:meeting.jpg?400|Jeff meeting with some students}}

Send updates and comments about these pages to [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]].