My name is Rafael Mohr and I am a PostDoc at the Mathexp team at Inria Saclay.
I completed my PhD in October 2024. In addition, I was part of the development team of the computer algebra system Oscar.
You can find my CV here.
Research Interests: Computer algebra/Symbolic computation, in particular advanced Groebner basis algorithms and their usage in polynomial system solving.