by Markus Pfeiffer

I am a resarch fellow in the School of Computer Science at University of St Andrews.

Rumor has it that I am funded by the Royal Society, though these rumors might be overblown.

I was previously 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 one of the developers of the GAP Computer Algebra System.

I currently have the following ongoing research projects:

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