Cheriton School of Computer Science Professor Robin Cohen has received the 2022 Lifetime Achievement Award in Computer Science from CS-Can | Info-Can, the non-profit society dedicated to representing all aspects of computer science and the interests of the discipline across Canada.
Zhiying (Gin) Jiang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
In this thesis, we aim at improving interpretability and generalizability through restricting representations. We choose to approach interpretability by focusing on attribution analysis to understand which features contribute to prediction on BERT, and to approach generalizability by focusing on effective methods in low-data regime.
Recent PhD graduate Michael Abebe has received the 2023 Cheriton Distinguished Dissertation Award. Now in its fifth year, the award was established to recognize excellence in computer science doctoral research. In addition to the recognition, recipients receive a cash prize of $1,000.
Joshua Hildred, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Khuzaima Daudjee
Distributed deterministic database systems support OLTP workloads over geo-replicated data. Providing these transactions with ACID guarantees requires a delay of multiple wide-area network (WAN) round trips of messaging to totally order transactions globally.
Cheriton School of Computer Science Professor Ian Goldberg has been named a Senior Member of the Institute of Electrical and Electronics Engineers. Only 10 per cent of IEEE’s more than 400,000 members receive this designation, an honour conferred to those who have experience reflecting professional maturity, professional practice experience of at least ten years, and significant achievements.
David Radke, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Kate Larson, Tim Brecht
Bailey Kacsmar, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Florian Kerschbaum
Jian Pei, Professor
Electrical and Computer Engineering Department, Duke University
Ende Jin, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: 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.
Faezeh Ebrahimianghazani, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Florian Kerschbaum