Seminar • The Future of Formalized Mathematics
Please note: This seminar will take place in DC 1304 and virtually over Zoom.
Florian Rabe
Friedrich-Alexander-Universität Erlangen-Nürnberg
Florian Rabe
Friedrich-Alexander-Universität Erlangen-Nürnberg
Nolan Peter Shaw, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jeff Orchard
Zhiying Jiang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
Deep neural networks (DNNs) are often used for text classification due to their high accuracy. However, DNNs can be computationally intensive, requiring millions of parameters and large amounts of labeled data, which can make them expensive to use, to optimize, and to transfer to out-of-distributed (OOD) cases in practice.
Yuhao Dong, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Raouf Boutaba
Catherine St-Pierre, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Éric Schost
This thesis presents an algorithm to find the local structure of intersections of plane curves.
Silvia Sellán, PhD candidate
Department of Computer Science, University of Toronto
Nicholas Spooner, Assistant Professor
Department of Computer Science, University of Warwick
Ken Jen Lee, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Edith Law
Computer Science, the University of Waterloo’s top-ranked subject internationally, has risen three spots in the global rankings to the 22nd position, according to the latest edition of the Quacquarelli Symonds (QS) World University Rankings by Subject released on March 22, 2023.
This is the third year in a row that Computer Science was in the top 25 internationally and the top-ranked subject at Waterloo.
Sponsored by the Faculty of Mathematics Data Science Graduate Programs, please join Cheriton School of Computer Science expert in artificial intelligence, Professor Pascal Poupart, for a public talk in which he will describe the key technological advances in recent years that were behind AlphaGo and ChatGPT and ultimately facilitated these breakthroughs.
In recent years, we have seen the following —