Ryan Sandford
Department of Computer Science, The University of Western Ontario.
This website remains as an archive of my academic portfolio, containing useful links to former publications and projects.
Education
I received my MSc in Computer Science from the University of Western Ontario in 2022, studying Computer Algebra. My research was supervised by Professor Marc Moreno Maza and conducted within the Ontario Research Centre for Computer Algebra (ORCCA). I also received a BSc in 2020, with an Honours Specialization in Mathematics and a Major in Computer Science, at the University of Western Ontario.
Research
My research focuses mainly on the computational aspects of mathematics. Some of my interests include:
- Computer Algebra and Symbolic Computation
- Computational Algebraic Geometry
- Formalization
- Homotopy Type Theory