University of Waterloo
University of Waterloo has 261 faculty across 3 departments on GradNova.
Departments
Faculty
Y
Machine Learning, Including Generative Modelling, Representation Learning, Robustness, and Kernel Methods, as Well as Application to Computer Vision and Natural Language Processing
Optimization Algorithms, Including Convex and Non Convex Optimization, Distributed and Federated Learning, Iteration Complexity Bounds, Robust and Stochastic Optimization
Sparse and Compressive Sensing Techniques
Stochastic Gradient Optimization Techniques
+3
B
A
Professor, Systems Design Engineering
T
Professor, Statistics and Actuarial Science
G
Algorithms and Domains: How Can We Expand the Areas Amenable to Effective Symbolic Computation?
Collaboration: What Software Solutions Can Enhance Mathematical Collaboration, Including Mathematical Handwriting Recognition?
Interfaces: How Should Computer Algebra Systems Interact With Each Other and Other Software?
Knowledge Management: How to Organize and Query the World's Mathematical Knowledge?
+7
Advanced Techniques in Scientific Computing and Computer Graphics Simulation of Physical Phenomena
Machine Learning and Neural Network Model for Computational Finance Such as Option Pricing and Hedging
Medical Image Processing: Ct Scan Image Enhancement, Tracking of Cell Images, Image Restoration, Segmentation, Registration
Stochastic Processes and Financial Applications
+4
J
Associate Professor, Public Health and Health Systems
Fundamental Characteristics of Human Input Focusing on Topics, Such as Pointing, Learning, and Manipulation
Human-Computer Interaction, Interaction Techniques, Virtual and Augmented Reality
Novel Forms of Interaction for Current and Future Computing Form Factors, Such as Tangibles, Mid-Air Gestures, and Whole-Body Input, for Everything From On-Body Wearable Devices and Mobile Phones, to Large Displays and Mixed Reality
Interactive and Immersive Displays
+4
Application of Automated Reasoning Tools, Such as Model Checkers, to the Analysis of Reactive Systems, Including Computer Hardware and Software Systems; Embedded Systems; and Routing and Communication Protocols (of Particular Interest Are Compositional Reasoning and Abstraction Techniques for Coping With the State Explosion Problem in Model Checking)
Visual Notations for Describing Systems and Their Specifications; Automata on Infinite Objects; Temporal, Modal, and Description Logics; Internet-Based Routing and Communication Protocols; and Analysis of Parameterized Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
+3
D
Associate Professor, Teaching Stream and Associate Director, Undergraduate Studies
S
Assistant Professor, Combinatorics and Optimization
F
Computational Linguistics, Natural Language Processing and Machine Learning: Compositional Semantics, Grounded Language Acquisition, Unsupervised and Semi-Supervised Representation Learning, Structured Prediction, Narrative Understanding, and Information Theory for Natural Language Processing
Natural Language Processing Techniques
Topic Modeling
Efl/esl Teaching and Learning
+2