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 faculty 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. May 14, 2018Professor Maura Grossman’s expertise in legal search sought to assist in privilege review of documents in US v. Cohen casephoto of Professor Maura Grossman

    Although federal prosecutors in the United States had originally objected to the appointment of an independent person to review materials the FBI seized from Michael Cohen, President Donald Trump’s personal lawyer, they officially withdrew their opposition.

  2. May 11, 2018ACM recognizes Professor Khuzaima Daudjee as a 2018 Senior Memberpicture of Khuzaima Daudjee


    The Association for Computing Machinery has named David R. Cheriton School of Computer Science Professor Khuzaima Daudjee an ACM Senior Member.

  3. May 10, 2018Professor Mei Nagappan receives early career achievement award from Mining Software Repositories Conferencephoto of Professor Mei Nagappan

    Professor Mei Nagappan received an early career achievement award from the chairs of the International Conference on Mining Software Repositories. The award recognizes research outputs from exceptional candidates during early stages of their career.

Read all news
  1. May 22, 2018Seminar • Formal Methods — Everything’s Bigger in Texas: “The Largest Math Proof Ever”

    Marijn Heule, Research Assistant Professor
    University of Texas at Austin

    Progress in satisfiability (SAT) solving has enabled answering long-standing open questions in mathematics completely automatically, resulting in clever though potentially gigantic proofs. We illustrate the success of this approach by presenting the solution of the Boolean Pythagorean triples problem. We also produced and validated a proof of the solution, which has been called the "largest math proof ever." 

  2. May 23, 2018DLS • Joe Mitchell • Fun with Geometric Optimization: Visitation, Visibility, and Variationsphoto of Professor Joe Mitchell

    Joe Mitchell
    Department of Applied Mathematics and Statistics
    State University of New York at Stony Brook 

  3. May 24, 2018PhD Seminar • Bioinformatics — Modeling Transitions of Protein Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold

    Xiao-Bo Li, PhD candidate
    David R. Cheriton School of Computer Science

All upcoming events