Markus J. Pfeiffer

I am a resarch fellow in the School of Computer Science at the University of St Andrews. I am currently funded by the Horizon 2020 OpenDreamKit Grant.

I am a member of CIRCA and the Algebra Group.

My main research interests are in computational semigroup and group theory, and other topics in computational algebra. I am an active contributor to the GAP Computer Algebra System.

Further research interests of mine are geometric properties of groups and semigroups automata and formal languages, logic, type theory, and descriptive complexity.

I am going to implement some of my research in Edwin Brady’s Idris.

Before coming to St Andrews, I worked in Manchester on a GAP package for tropical algebra.

Recent News