PhD in Computer Science - Computer Algebra and Symbolic Computation in Waterloo Canada | University of Waterloo

The David R. Cheriton School of Computer Science is globally recognized for excellence in education, scholarship, investigation, and career preparation. We draw outstanding students worldwide to learn and collaborate with our distinguished faculty. Engage in diverse research initiatives alongside our world-renowned scholars. Our investigations cover the full spectrum of computer science, from fundamental work on systems, theory, and programming languages to areas like human-computer interaction, DNA and quantum computing, along with both theoretical and practical machine learning applications. Graduate students benefit from: Dedicated research laboratory facilities. Chances to publish in leading academic conferences and journals. Platforms to present findings at top-tier conferences before fellow scholars, industry professionals, and field experts. PhD candidates enjoy the autonomy to explore their chosen research domains under faculty guidance. Those continuing their academic journey will collaborate with advisors to craft original theses. Doctoral students are expected to produce significant research that advances their field of study.

The Computer Algebra and Symbolic Computation Group focuses on innovating algorithms for computer algebra, encompassing both symbolic computation and combined symbolic-numeric approaches. Under George Labahn's leadership since 1981, the group is renowned for developing the Maple computer algebra platform. Current research priorities involve symbolic integration techniques, linear differential equations, hybrid algorithms for scientific computing, algebraic processing of differential operator matrices, and symbolic linear algebra encompassing normal forms and matrix polynomial operations. The team's algorithmic developments frequently become integrated into Maple's functionality. Additional interests include designing mathematical interfaces for pen-based devices like tablets and iPads, aiming to create intuitive platforms for two-dimensional mathematical input that combines natural expression manipulation with modern computer algebra capabilities.