Current students

Subscribe to Current students
Thursday, August 26, 2021 10:00 am - 10:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods • Smart Contract Analysis Through Communication Abstractions

Please note: This master’s thesis presentation will be given online.

Arthur Wesley, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Richard Trefler, Arie Gurfinkel

Thursday, October 7, 2021 12:30 pm - 12:30 pm EDT (GMT -04:00)

Inaugural 2021–22 Distinguished Lecture Series Presentation • An AI-first Approach to Self-driving

Raquel Urtasun
Founder and CEO, Waabi Innovation Inc.
Professor, Department of Computer Science, University of Toronto
Co-founder, Vector Institute for AI

photo of Leya Oommen and Ellen Brisley
Tuesday, August 17, 2021

Team with Waterloo links among winners at Technovation Girls global tech competition

A regional team linked with the University of Waterloo was named among the winners of the global Technovation Girls app development competition.

Aiuto Solutions was awarded the first-ever COVID Economic Recovery prize, recognizing their work to develop an app to connect donors and charities. The app provides a means of forging stronger relationships in the not-for-profit and NGO sectors. The name Aiuto means ‘help’ in Italian. 

Tuesday, August 24, 2021 1:30 pm - 1:30 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Machine Learning • Unsupervised Syntactic Structure Induction in Natural Language Processing

Please note: This master’s thesis presentation will be given online.

Anup Anand Deshmukh, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Ming Li, Jimmy Lin

Wednesday, August 25, 2021 2:00 pm - 2:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Data Systems • Learning Energy-Aware Transaction Scheduling in Database Systems

Please note: This master’s thesis presentation will be given online.

Udhav Sethi, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Ken Salem

Thursday, September 9, 2021 11:00 am - 11:00 am EDT (GMT -04:00)

PhD Seminar • Quantum-safe Cryptography • In-band Key Authentication from Post-quantum KEMs

Please note: This PhD seminar will be given online.

Sebastian Reynaldo Verschoor, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Michele Mosca

Friday, September 17, 2021 10:00 am - 10:00 am EDT (GMT -04:00)

PhD Defence • Symbolic Computation • Fast Algorithms for Computing with Integer Matrices: Normal Forms and Applications

Please note: This PhD defence will be given online.

Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science

Supervisors: Professors George Labahn, Arne Storjohann

The focus of this thesis is on fundamental computational problems in exact integer linear algebra. Specifically, for a nonsingular integer input matrix A ∈ Zn×n, we consider problems such as linear system solving and computing integer matrix normal forms.