·¡³¾²¹¾±±ô:Ìývganesh@uwaterloo.ca
Research Interests:ÌýBoolean SAT and SMT solvers, theorem provers, solvers for combinatorial mathematics, foundations of mathematics, complexity theory
Link to Profile:
·¡³¾²¹¾±±ô:Ìýmwg@uwaterloo.ca
Research Interests:ÌýComputer algebra, algebraic algorithms and computational complexity
Link to Profile:
·¡³¾²¹¾±±ô:Ìý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:Ìý
·¡³¾²¹¾±±ô:Ìýglabahn@uwaterloo.ca
Research Interests:ÌýComputer Algebra with a secondary area being in the field of Computational Finance
Link to Profile:Ìý
·¡³¾²¹¾±±ô:Ìýeschost@uwaterloo.ca
Research Interests:ÌýComputer algebra, from polynomial system solving to efficient polynomial and power series arithmetic
Link to Profile:
·¡³¾²¹¾±±ô:Ìýastorjoh@uwaterloo.ca
Research Interests:ÌýSymbolic and Exact Linear Algebra, Algorithmic Number Theory
Link to Profile:Ìý
·¡³¾²¹¾±±ô:Ìý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:
Email: smwatt@uwaterloo.ca
Research Interests:ÌýComputer algebra, programming languages and compilers,Ìý pen-based computing,Ìýand mathematical knowledge managementÌý
Link to Profile:
Email: nafshordi@perimeterinstitute.ca
Research Interests: Exploring the interface of gravity, quantum theory, and cosmology using tools from computational physics and data-driven astronomy; quantum black holes, the nature of spacetime and vacuum; probing fundamental physics through multi-messenger observations.
Link to Profile:Ìý