News

Professor Freda Shi and her collaborators Changbing Yang, Franklin Ma and Jian Zhu from the University of British Columbia have received an Outstanding Paper Award at EMNLP 2025, the 30^th Conference on Empirical Methods in Natural Language Processing.

Their paper, LingGym: How Far Are LLMs from Thinking Like Field Linguists?, introduced a new benchmark that evaluates how effectively large language models can perform meta-linguistic reasoning.

Professor Ian Goldberg and former Cheriton School of Computer Science doctoral students Aniket Kate and Gregory Zaverucha have received the 2025 Asiacrypt Test-of-Time Award. Their paper, Constant-Size Commitments to Polynomials and Their Applications, was presented originally at Asiacrypt 2010, the 16^th International Conference on the Theory and Application of Cryptology and Information Security.

The Test-of-Time Award honours a paper presented 15 years earlier that has had a significant and lasting impact on the theory and practice of cryptography and information security.

Three Waterloo computer science professors are at the forefront of two new research initiatives that are developing cutting-edge, inclusive, and trustworthy AI systems.

The inaugural research initiatives — Solution Networks — are funded through the Canadian Institute for Advanced Research’s (CIFAR) Canadian AI Safety Institute (CAISI) Research Program. In 2024, the federal government launched the CAISI Research Program as part of its AI safety strategy.

To kick off Global Entrepreneurship Week, UWaterloo is highlighting standout entrepreneurs. Among this list is Rastin Rassoli, a joint computer science and psychology student. 

Research from the Cheriton School of Computer Science is making inroads on one of the biggest problems in theoretical computer science. But the way to do it, according to Cameron Seth, a PhD candidate working in the field of algorithmic approximation, is by breaking the problem down into smaller pieces.

“Everyone working in computer science and mathematics knows about the ‘P vs. NP’ problem,” Cameron says. “It’s one of the notorious Millennium Prize Problems: so famous and so difficult that solving one will earn you a million dollars.”

Professors Meng Xu and Sihang Liu have received $254,116 in funding from the National Cybersecurity Consortium, a federally incorporated not-for-profit organization committed to advancing Canada’s cybersecurity ecosystem.

Their project, Securing LLM Agents Against Malicious or Vulnerable Tools, aims to identify and mitigate security risks in agentic systems — AI systems capable of making autonomous decisions and taking actions to achieve specific goals.

Four teams of algorithmic programmers from the University of Waterloo placed within the top 10 at the 2025 ICPC East Central North America contest, held on November 9 at the University of Windsor.

Competing against 86 teams from universities across east central North America, Waterloo’s trios of programmers placed second, third, sixth and ninth at the 2025 ECNA, underscoring the university’s long-standing strength in competitive programming.

What if your gym routine consisted of gliding across a forest, skewing fruits like a ninja, or racing on a Formula 1 track?   

That’s the vision behind Hiro, a Waterloo-based startup that is gamifying physiotherapy exercises for children with disabilities — by including people with disabilities at the research’s core.  

A quiet lab from the outside, pure chaos from within — the trains lab, where trains whir across miniature tracks, and students spend countless hours working away.

CS452: Real-Time Programming is a renowned CS course, notorious for its difficulty but fondly remembered for the deep sense of community it fosters among those who take it.

Professor Chengnian Sun and his collaborators Vu Le and Zhendong Su have received the Most Influential Paper Award at OOPSLA 2025, part of the ACM SIGPLAN SPLASH conference.

Their paper, Finding Deep Compiler Bugs via Guided Stochastic Program Mutation, presented originally at OOPSLA 2015, was recognized for introducing a novel Equivalence Modulo Inputs mutation strategy that exposed previously undetected bugs in production compilers.