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.
News
- June 1, 2023Waterloo tops the competition at 2023 ICPC North America Championship, advances to ICPC World Finals
Waterloo does it again.
Just as a trio of coders had in 2021, a team of three Waterloo algorithmic programmers has topped the competition at the 2023 International Collegiate Programming Contest North America Championship held on May 29, 2023 at the University of Central Florida.
Waterloo overcame the competition, including trios of programmers from Stanford, Carnegie Mellon University, MIT, Harvard, and the University of Toronto.
- May 25, 2023Jimmy Di awarded 2023 Vector Scholarship in Artificial Intelligence
Incoming master’s student Jimmy Di has received a 2023–24 Vector Scholarship in Artificial Intelligence from the Vector Institute. These merit-based entrance scholarships provide $17,500 for one year of full-time study and are awarded to top students who have been admitted into an AI-related master’s program in an Ontario university.
- May 23, 2023Justin Wan receives Arthur Beaumont Distinguished Service Award from CAIMS
Professor Justin Wan has received the 2023 Arthur Beaumont Distinguished Service Award from CAIMS, the Canadian Applied and Industrial Mathematics Society. Named after its first recipient, the award was established in 1987 to honour Waterloo Applied Mathematics Professor Arthur Beaumont for his many years of service to the society.
Events
- June 6, 2023Seminar • Software Engineering • The Software Supply Chain Security Perspective
Please note: This seminar will take place online.
John Speed Meyers
Security Data Scientist, Chainguard - June 6, 2023PhD Seminar • Machine Learning • Exploring the Limits of Model-Targeted Indiscriminate Data Poisoning Attacks
Please note: This PhD seminar will take place in DC 1304 and virtually.
Yiwei Lu, PhD candidate
David R. Cheriton School of Computer ScienceSupervisor: Professor Yaoliang Yu
Indiscriminate data poisoning attacks aim to decrease a model’s test accuracy by injecting a small amount of corrupted training data. Despite significant interest, existing attacks remain relatively ineffective against modern machine learning (ML) architectures.
- June 7, 2023Master’s Thesis Presentation • Programming Languages • Design and Implementation of Family Polymorphism for Interactive Theorem Proving
Please note: This master’s thesis presentation will take place online.
Ende Jin, Master’s candidate
David R. Cheriton School of Computer ScienceSupervisors: Professors Yizhou Zhang, Ondřej Lhoták
With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs.
