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.
- May 14, 2018
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.
- May 11, 2018
The Association for Computing Machinery has named David R. Cheriton School of Computer Science Professor Khuzaima Daudjee an ACM Senior Member.
- May 10, 2018
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.
- May 22, 2018
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."
- May 23, 2018
Department of Applied Mathematics and Statistics
State University of New York at Stony Brook
- May 24, 2018
Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science