Information for

Welcome to the David R. Cheriton School of Computer Science

The Cheriton School of Computer Science is named for David R. Cheriton, who earned his PhD in Computer Science in 1978, and made a transformational gift to the school in 2005. It has become the largest academic concentration of Computer Science researchers in Canada.  

Discover our latest achievements by following our news and events.
Please go to contact, open positions or visit if you have a question about school programs or services, would like to know more about faculty positions available or plan to visit our school.
  1. Dec. 11, 2018Cheriton School of Computer Science researchers study catastrophic effects network failures have on cloud-computing systemsphoto of Hatem Takruri, Ahmed Alquraan, Mohammed Alfatafta and Samer Al-Kiswany

    Computer clusters power everything from Google and Facebook to online retail and banking. They’re comprised of hundreds or even thousands of machines connected together by networks, typically in a vast data centre. 

  2. Dec. 3, 2018Professor Shai Ben-David and colleagues win best paper award at NeurIPS 2018photo of Professor Shai Ben-David

    Cheriton School of Computer Science Professor Shai Ben-David, his former PhD student Hassan Ashtiani, now an Assistant Professor at McMaster University, along with colleagues Christopher Liaw, Abbas Mehrabian and Yaniv Plan, have received a best paper award at NeurIPS 2018, the 32ndAnnual Conference on Neural Information Processing Systems.

  3. Nov. 30, 2018Professor Shai Ben-David and colleagues prove that some problems in statistical machine learning cannot be resolvedphoto of Professor Shai Ben-David

    One of the most important results in logic is Kurt Gödel’s work from 1931 that proved that some questions in mathematics cannot be resolved — that mathematics has limits.

Read all news
  1. Dec. 17, 2018Master’s Thesis Presentation • Computer Graphics — An Affine Semi-Lagrangian Advection Method

    Jade Marcoux-Ouellet, Master’s candidate
    David R. Cheriton School of Computer Science

  2. Dec. 19, 2018Master’s Thesis Presentation • Software Engineering — Astra: Evaluating Translations from Alloy to SMT-LIB

    Ali Abbassi, Master’s candidate
    David R. Cheriton School of Computer Science

    We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into their equivalent in typed first order logic (TFOL). 

  3. Dec. 21, 2018PhD Seminar • Symbolic Computation — Finding the Nearest Non-Trivial Smith Normal Form

    Joseph Haraldson, PhD candidate
    David R. Cheriton School of Computer Science

    We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form (SNF). This is a non-convex optimization problem where we find a nearby matrix polynomial with prescribed eigenvalues and associated multiplicity structure in the invariant factors.

All upcoming events