Rida Ait El Manssour

Rida Ait El Manssour is a Research Associate in the Department of Computer Science at the University of Oxford, specializing in computational algebra and its applications to computer science. Their research bridges theoretical mathematics and computational approaches to solve complex problems in algebra and geometry.

Key research areas include algebraic invariants for program verification, differential-algebraic methods, and combinatorial approaches to geometric problems. Their work demonstrates strong connections between abstract algebra and practical computation.

Recent publications focus on algebraic invariants in program analysis, parametric systems in algebraic geometry, and combinatorial differential algebra, showing consistent methodological innovation across theoretical computer science and pure mathematics.

No scientific awards are documented in available sources. Affiliations are maintained with Oxford's computational algebra research groups, though specific labs or teams are not detailed.