Ryan Sandford
Department of Computer Science, The University of Western Ontario.
Though my primary work is now in industry, I continue to engage in academic research recreationally and through collaborations. This site documents previous work and provides access to ongoing projects and recent publications.
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
- Formal Methods
- Verification
- Homotopy Type Theory