Current students

Subscribe to Current students
Tuesday, June 30, 2020 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods — A Comprehensive Study of Declarative Modelling Languages

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

Amin Bandali, Master’s candidate
David R. Cheriton School of Computer Science

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and formally. An abstract model is a concise and compact representation of key characteristics of a system, and enables the stakeholders to reason about the correctness of the system in the early stages of development.

Thursday, July 9, 2020 10:00 am - 10:00 am EDT (GMT -04:00)

PhD Defence • Quantum Computing — Quantum Turing Machines and Quantum Prover-Verifier Interactions

Please note: This PhD defence will be given online.

Abel Molina, PhD candidate
David R. Cheriton School of Computer Science

We present results on quantum Turing machines and on prover-verifier interactions.

Monday, July 6, 2020 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Software Engineering — Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits

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

Achyudh Ram, Master’s candidate
David R. Cheriton School of Computer Science

photo of Apoorva Chauhan
Wednesday, June 24, 2020

Don’t be too quick to trust information on social media accounts named after a crisis like COVID-19

A new study, led by Apoorva Chauhan, a postdoctoral researcher at the Cheriton School of Computer Science, found that in evaluating the trustworthiness of social media accounts named after crisis events, people sometimes pay attention to the page’s profile picture, name, the number of followers it has, and spelling and grammatical errors.

“Some of these things can be easily spoofed,” said Dr. Chauhan. “People need to think beyond things that can be easily manipulated and look at the authenticity of the source of information.”

photo of Brad Glasbergen, Michael Abebe, Khuzaima Daudjee, Daniel Vogel, Jian Zhao
Tuesday, June 23, 2020

Brad Glasbergen, Michael Abebe, Khuzaima Daudjee, Daniel Vogel and Jian Zhao receive Best Demo Award at 2020 ACM SIGMOD Conference

Cheriton School of Computer Science PhD students Brad Glasbergen and Michael Abebe, along with Professors Khuzaima Daudjee, Daniel Vogel and Jian Zhao, have received the Best Demonstration Award at the 2020 ACM Special Interest Group on Management of Data (SIGMOD) Conference.

Photo of Edward Lank, Kate Larson, Ondrej Lhoták, M. Tamer Özsu, Peter van Beek and Troy Vasiga
Monday, June 22, 2020

Six Cheriton School of Computer Science faculty members receive Outstanding Performance Awards

Cheriton School of Computer Science Professors Edward Lank, Kate Larson, Ondřej Lhoták, M. Tamer Özsu, Peter van Beek and Troy Vasiga have each received a 2019 Outstanding Performance Award. Established in 2005, these awards recognize University of Waterloo faculty members for their outstanding contributions in teaching, scholarship and service.