University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

Research areas

Algebraic combinatorics

Algebraic combinatorics is the mathematical area concerned with the relationships between discrete and algebraic objects. Combinatorial objects give rich and detailed insight into algebraic problems in representation theory and beyond, and algebraic tools give new understanding of discrete structures, for example in systematic tools for enumeration of combinatorial objects using generating functions. These and other aspects of algebraic combinatorics are unified by the centrality of beautiful, explicit combinatorial objects and also find applications in statistical mechanics and quantum field theory. Read more about algebraic combinatorics.

Members:

Start of page.

Continuous optimization

Continuous optimization is the core mathematical science for real-world problems ranging from design of biomolecules to management of investment portfolios. Continuous optimization means finding the minimum or maximum value of a function of one or many real variables, subject to constraints. The constraints usually take the form of equations or inequalities. Continuous optimization has been the subject of study by mathematicians since Newton, Lagrange and Bernoulli. Read more about continuous optimization.

Members:

  • Michael Best: Portfolio optimization, quadratic programming
  • Tom Coleman: Large-Scale Computational Optimization
  • Walaa Moursi: Convex analysis, montone operator theory, projection methods and splitting techniques
  • Levent Tunçel: Mathematical optimization and Mathematics of Operations Research
  • Steve Vavasis: Continuous optimization, numerical analysis
  • Henry Wolkowicz: Applications of optimization and matrix theory to algorithmic development

Start of page.

Cryptography

In classical cryptography, some algorithm, depending on a secret piece of information called the key, which had to be exchanged in secret in advance of communication, was used to scramble and descramble messages. (Note that, in a properly designed system, the secrecy should rely only on the key. It should be assumed that the algorithm is known to the opponent.) Read more about cryptography.

Members:

  • David Jao: Number theory, elliptic curves, isogeny-based cryptography
  • Alfred Menezes: Curve-based cryptography, protocols, provable security
  • Michele Mosca: Quantum key distribution, quantum-safe cryptography
  • Douglas Stebila: Applied cryptography, internet security

Start of page.

Discrete optimization

Much of combinatorial optimization is motivated by very simple and natural problems such as routing problems in networks, packing and covering problems in graph theory, scheduling problems, and sorting problems. But the methodology of the subject encompasses a variety of techniques ranging from elementary tree-growing procedures to constructions of Hilbert bases of integer lattices. Read more about discrete optimization.

Members:

  • Joseph Cheriyan: Network optimization, Parallel & Sequential Graph Algorithms
  • Bill Cook: Integer programming, combinatorial optimization
  • Bill Cunningham: Combinatorial optimization, polyhedral combinatorics, matroids, matchings, and generalizations
  • Ricardo Fukasawa: Mixed-integer programming, Computational Optimization, operations research
  • Bertrand Guenin: Combinatorial optimization
  • Jochen Koenemann: Approximation algorithms, combinatorial optimization, algorithmic game theory
  • Peter Nelson: Matroid theory
  • Laura Sanita: Combinatorial optimization, network design
  • Chaitanya Swamy: Combinatorial optimization, approximation algorithms, algorithmic game theory, stochastic optimization
  • Levent Tunçel: Mathematical optimization and Mathematics of Operations Research

Start of page.

Graph theory

A graph consists of a set of elements together with a binary relation defined on the set. Graphs can be represented by diagrams in which the elements are shown as points and the binary relation as lines joining pairs of points. It is this representation which gives graph theory its name and much of its appeal. However, the true importance of graphs is that, as basic mathematical structures, they arise in diverse contexts, both theoretical and applied. The concept of a graph was known already to Euler in the early eighteenth century, but it was the notorious Four-Colour Problem, posed by F. Guthrie in the mid-nineteenth century, that spurred the development of this simple concept into a flourishing theory. Read more about graph theory.

Members:

Start of page.

Quantum computing

Today's computers and other information processing devices manipulate information using what is known as the "classical" approximation to the laws of physics. However, we have known for some time that there is a more accurate description of the laws - the one provided by quantum mechanics. The study of how the laws of quantum mechanics affect computing, cryptography, and similar information processing tasksis known as quantum information processing. Read more about quantum computing.

Members:

  • Debbie Leung: Quantum Information Processing
  • Michele Mosca: Quantum computing, Algorithms and Cryptography
  • Ashwin Nayak: Quantum Computation and Quantum Information, theoretical computer science
  • Jon Yard: Quantum Information Theory 
  • David Gosset:Theory of quantum computing, quantum algorithms, quantum complexity theory 

Back to top