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. 18, 2018In memoriam: 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.
- 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.
Events
- 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.
- 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
