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, the Algebra Group, the Functional Programming Group, and the Artificial Intelligence 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