Faculty

Photo of Sepehr Assadi

Sepehr Assadi

  • graph streaming
  • sublinear algorithms
  • communication complexity

Photo of Shalev Ben-David

Shalev Ben-David

  • Quantum Complexity
  • Complexity Theory

Photo of Therese Biedl

Therese Biedl

  • Algorithms
  • Graph Drawing
  • Computational Geometry

Photo of Eric Blais

Eric Blais

  • Sublinear-time Algorithms
  • Boolean Function Complexity

Photo of Daniel Brown

Daniel Brown

  • Bioinformatics
  • Music Information Retrieval

Photo of Trevor Brown

Trevor Brown

  • Concurrent Data Structures
  • Memory Architectures

Photo of Richard Cleve

Richard Cleve

  • Quantum Computation
  • Complexity Theory
  • Quantum Information Theory

Photo of Gautam Kamath

Gautam Kamath

  • Differential privacy
  • Robustness
  • Machine Learning & Statistics

Photo of Lap Chi Lau

Lap Chi Lau

  • Spectral Graph Theory
  • Approximation Algorithms
  • Optimization

Photo of Ming Li

Ming Li

  • Bioinformatics
  • Kolmogorov Complexity

Photo of Anna Lubiw (Emeritus)

Anna Lubiw (Emeritus)

  • Computational Geometry
  • Graph Algorithms
  • Combinatorial Optimization

Photo of Ian Munro (Emeritus)

Ian Munro (Emeritus)

  • Data Structures
  • Online Algorithms
  • Comparison-Based Complexity

Photo of Naomi Nishimura

Naomi Nishimura

  • Algorithms
  • Fixed-Parameter Tractability
  • Reconfiguration

Photo of Rafael Oliveira

Rafael Oliveira

  • Algebraic Complexity
  • Optimization
  • Complexity Theory

Photo of Jeffrey Shallit

Jeffrey Shallit

  • Combinatorics on Words
  • Formal Languages
  • Automata Theory

Affiliated Faculty

Photo of Shai Ben-David

Shai Ben-David

  • Machine Learning
  • Computational Learning Theory
  • Logic and Applications to CS

Photo of Joseph Cheriyan

Joseph Cheriyan

  • Graph Algorithms
  • Combinatorial Optimization

Photo of Kimon Fountoulakis

Kimon Fountoulakis

  • Numerical Optimization
  • Graph Algorithms
  • Scientific Computing

Photo of Mark Giesbrecht

Mark Giesbrecht

  • Symbolic Computation
  • Sparse Polynomials
  • Algebraic Complexity

Photo of Sergey Gorbunov

Sergey Gorbunov

  • Cryptography

Photo of Mohammad Hajiabadi

Mohammad Hajiabadi

  • Foundations of Cryptography

Photo of Lila Kari

Lila Kari

  • Natural Computation
  • Bioinformation
  • Nanocomputation

Photo of Jochen Koenemann

Jochen Koenemann

  • Approximation Algorithms
  • Algorithmic Game Theory
  • Combinatorial Optimization

Photo of Jonathan Leake

Jonathan Leake

  • Combinatorial bounds and approximation
  • Log-concave polynomials

Photo of Debbie Leung

Debbie Leung

  • Quantum Information Theory
  • Quantum Cryptography
  • Quantum Computation

Photo of Bin Ma

Bin Ma

  • Algorithms
  • Bioinformatics

Photo of Stephen Melczer

Stephen Melczer

  • Analytic Combinatorics
  • Enumeration
  • Analysis of Algorithms

Photo of Alfred Menezes

Alfred Menezes

  • Cryptography
  • Provable Security
  • Algorithmic Number Theory

Photo of Michele Mosca

Michele Mosca

  • Quantum Computation
  • Crypography
  • Combinatorics

Photo of Ashwin Nayak

Ashwin Nayak

  • Quantum Computation
  • Quantum Information
  • Algorithms and Complexity

Photo of Kanstantsin Pashkovich

Kanstantsin Pashkovich

  • Combinatorial Optimization
  • Algorithmic Game Theory

Photo of Richard Peng (On leave)

Richard Peng (On leave)

  • Data Structures
  • Numerical Algorithms

Photo of Prabhakar Ragde

Prabhakar Ragde

  • Algorithms
  • Graph Theory
  • Fixed-Parameter Tractability

Photo of Eric Schost

Eric Schost

  • Computer algebra
  • Complexity theory

Photo of Arne Storjohann

Arne Storjohann

  • Symbolic Linear Algebra
  • Algorithmic Number Theory

Photo of Chaitanya Swamy

Chaitanya Swamy

  • Approximation Algorithms
  • Combinatorial Optimization
  • Algorithmic Game Theory

Photo of Stephen Vavasis

Stephen Vavasis

  • Optimization
  • Linear Algebra
  • Data Mining

Photo of Yaoliang Yu

Yaoliang Yu

  • Algorithms
  • Machine Learning

Former Faculty

Photo of Jonathan Buss (Emeritus)

Jonathan Buss (Emeritus)

  • Computational Complexity
  • Models of Computation

Photo of Doug Stinson (Emeritus)

Doug Stinson (Emeritus)

  • Cryptography
  • Combinatorial Designs

Photo of John Watrous

John Watrous

  • Quantum Complexity
  • Quantum Information Theory