Email: vganesh@uwaterloo.ca
Research Interests: Boolean SAT and SMT solvers, theorem provers, solvers for combinatorial mathematics, foundations of mathematics, complexity theory
Link to Profile: Vijay Ganesh
Email: mwg@uwaterloo.ca
Research Interests: Computer algebra, algebraic algorithms and computational complexity
Link to Profile: Mark Giesbrecht
Email: cbright@uwindsor.ca
Research Interests: Computer-assisted proofs, satisfiability solving, symbolic computation, discrete mathematics, experimental mathematics, number theory
Link to Profile: Curtis Bright
Email: ikotsire@wlu.ca
Research Interests: Symbolic Computation, Computer Algebra, Computational Algebra, Combinatorial Matrix Theory, Combinatorial Optimization, Commutative Algebra & Algebraic Geometry, Computer Algebra, Combinatorial Designs, Discrete Mathematics, Combinatorics
Link to Profile: Ilias Kotsireas
Email: glabahn@uwaterloo.ca
Research Interests: Computer Algebra with a secondary area being in the field of Computational Finance
Link to Profile: George Labahn
Email: eschost@uwaterloo.ca
Research Interests: Computer algebra, from polynomial system solving to efficient polynomial and power series arithmetic
Link to Profile: Éric Schost
Email: astorjoh@uwaterloo.ca
Research Interests: Symbolic and Exact Linear Algebra, Algorithmic Number Theory
Link to Profile: Arne Storjohann
Email: yash.pant@uwaterloo.ca
Research Interests: Decision making for autonomous systems, robot motion and task planning in uncertain environments, and control of systems with complex specifications
Link to Profile: Yash Vardhan Pant
Email: smwatt@uwaterloo.ca
Research Interests: Computer algebra, programming languages and compilers, pen-based computing, and mathematical knowledge management
Link to Profile: Stephen Watt