Leili Rafiee Sevyeri Faculty (Lecturer) Cheriton School of Computer Science University of Waterloo lrafiees@uwaterloo.ca Office: DC2114

Before joining Cheriton school of computer science as a faculty member, I was a post-doctoral fellow at Symbolic Computation Group (SCG) under supervision of Rob Corless, Mark Giesbrecht and George Labahn.

I got my PhD in Scientific Computing from Western University under supervision of Rob Corless (department of applied mathematics, Western University) in Aug 2020. For the last two years of my PhD studies, I was a visiting PhD student in department of computer science at University of Waterloo.

I am an associate editor of Maple Transactions.

• Education
  • PhD in Applied Mathematics with Scientific Computing,
    Supervisor: Rob Corless
    Department of Applied Mathematics and Ontario Research Center for Computer Algebra (ORRCA)
    Western University, 2016-2020
    Visiting Researcher,
    Symbolic Computation Group (SCG), Cheriton School of Computer Science,
    University of Waterloo, 2018-2020
    

  • MSc in Applied Mathematics,
    Department of Applied Mathematics, Western University, 2014-2016
    
• Publications
  • Compact Cubic Splines, with Robert M. Corless
    (Accepted, 2022)
    
  • Bohemian Matrix Geometry, with Robert M. Corless, George Labahn and Dan Piponi
    (Accepted ISSAC 2022).
    
  • Generalized Standard Triples for Algebraic Linearizations of Matrix Polynomials, with Eunice Y. S. Chan and Rob Corless
    Electronic Journal of Linear Algebra, Vol. 37 (2021), 640-658
    
  • Equivalences for Linearizations of Matrix Polynomials, with Rob Corless and B. David Saunders
    Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, 107–114, ISSAC '21.
    
  • On Parametric Linear System Solving, with Rob Corless, Mark Giesbrecht and B. David Saunders.
    Proceedings: CASC 2020
    
  • Approximate GCD in Lagrange Bases, with Rob Corless
    Proceedings: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2020.
    
  • The Runge Example for Interpolation and Wilkinson's Examples for Rootfinding, with Rob Corless.
    SIAM Review 62 (1), 231-243, 2020.
    
  • Approximate GCD in a Bernstein Basis, with Rob Corless.
    Proceeding: Maple in Mathematics Education and Research pp 77-91, 2019.
    

  • Stirling’s Original Asymptotic Series from a Formula Like One of Binet’s and its Evaluation by Sequence Acceleration, with Rob Corless
    Experimental Mathematics, 2019.
    
  • Hybrid Symbolic-Numeric Computing in Linear and Polynomial Algebra, Ph.D. Thesis, Western University, 2020.
    
  • A Sequence of Symmetric Bézout Matrix Polynomials,, M.Sc. Thesis, Western University, 2016.
    

• Teaching
• CS240, Data Structures and Data Management, Spring 2023
  Cheriton School of Computer Science, University of Waterloo
• CS371/AMATH242, Computational Mathematics, Winter 2023
  Cheriton School of Computer Science, University of Waterloo
• CS335, Computational Methods in Business and Finance, Winter 2023
  Cheriton School of Computer Science, University of Waterloo
• CS371/AMATH242, Computational Mathematics, Winter 2022
  Cheriton School of Computer Science, University of Waterloo
• CS475/675, Computational Linear Algebra, Spring 2021
  Cheriton School of Computer Science, University of Waterloo
• CS371/AMATH242, Computational Mathematics, Winter 2020
  Cheriton School of Computer Science, University of Waterloo
• Events
  • Matrices and Polynomials in Computer Algebra: Algorithms and Software , The University of Western Ontario London, Canada, July 22-24, 2024
  • Special session, Bohemian Matrices and Applications, in ACA 2022, August 15-19, Turkey
    (jointly organized with Rob Corless, Mark Giesbrecht and George Labahn).
  • Special session, Hybrid Symbolic-Numeric Computation, in ACA 2021, July 23-27, Virtual, Online
    (jointly organized with Rob Corless, Mark Giesbrecht and George Labahn).
  • Maple Conference, November 2-5, 2021, Free Virtual Event.
    (member of Program Committee)