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.
News
- Dec. 11, 2018Cheriton School of Computer Science researchers study catastrophic effects network failures have on cloud-computing systems
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.
- Dec. 3, 2018Professor Shai Ben-David and colleagues win best paper award at NeurIPS 2018
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.
- Nov. 30, 2018Professor Shai Ben-David and colleagues prove that some problems in statistical machine learning cannot be resolved
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.
Events
- 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 - 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 ScienceWe 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).
- Dec. 21, 2018PhD Seminar • Symbolic Computation — Finding the Nearest Non-Trivial Smith Normal Form
Joseph Haraldson, PhD candidate
David R. Cheriton School of Computer ScienceWe 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.
