Reinis Cirpons's homepage

About

I am a mathematician working in computational semigroup theory. My current research efforts involve:

• Applying computational tools to aid in the systematic exploration of the word problem for one-relation monoids in search of small presentations whose decidability is unknown with current methods.
• Formalizing the output of existing computational tools for semigroup theory in an effort to make the output of these tools more reliable and readily usable.
• Formulating algorithms for computing properties of automatic semigroups and monoids.
• Investigating minimum degree transformation representations of semigroups via their congruence lattice.

See Publications, Software and Talks sections of this website for a more detailed overview of what I've been up to recently.

• From November 2025 I am a Postdoctoral researcher at the Inria research institute in the Gallinette team, working with Assia Mahboubi and Guillaume Melquiond.
• From 2021 to 2025 I did a PhD in pure mathematics at the University of St Andrews under the supervision of James D. Mitchell.

Contact