THIS SITE

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. 18, 2018In memoriam: Morven Gentlemanphoto of Professor William Morven Gentleman

    The following in memoriam appeared originally in the Daily Bulletin on Tuesday, December 18, 2018

    Former faculty member William Morven Gentleman died on December 13, 2018.

    Morven Gentleman joined the University of Waterloo in July 1969 as an Assistant Professor in the Department of Applied Analysis and Computer Science (now the David R. Cheriton School of Computer Science) and later the Department of Statistics. He was later promoted to Associate Professor.

  2. 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. 

  3. 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.

Read all news
  1. 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). 

  2. 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.

  3. Jan. 8, 2019Master’s Thesis Presentation • Programming Languages — Automating Programming Assignment Marking with AST Analysis

    Si Chuang Li, Master’s candidate
    David R. Cheriton School of Computer Science

All upcoming events