David R. Cheriton School of Computer Science
University of Waterloo
David R. Cheriton School of Computer Science at University of Waterloo has 222 faculty on GradNova.
Faculty
T
Professor Wang Builds Database Systems in the Context of Modern Hardware, New Programming Primitives, and New Applications. His Work Also Often Extends to Related Areas Such as Operating Systems, Parallel Programming, and Distributed Systems.
Advanced Data Storage Technologies
Parallel Computing and Optimization Techniques
Distributed Systems and Fault Tolerance
+2
J
Dr. Zhao's Research Focuses on the Areas of Information Visualization (infovis), Human-Computer Interaction (hci), and Data Science. He Develops Advanced Interaction and Visualization Techniques That Promote the Interplay Between Humans, Machines, and Data.
His Research Aims to Boost the Efficiency of Real-World Data Analysis, Exploration, and Presentation Activities That Involve a Large Amount of Data, Various Complicated Models, and a Diverse Group of Analysts.
Biomedical and Engineering Education
Diverse Scientific and Economic Studies
+1
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