About

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:

• Par­ti­tion Back­track Meth­ods in Per­mu­ta­tion Groups, with Re­bec­ca Waldeck­er, Chris Jef­fer­son, and Wilf Wil­son.
• Com­pu­ta­tion­al Meth­ods for Hy­per­bol­ic Groups, with Alan Lo­gan, Col­va Roney-Dou­gal, and Derek Holt.
• Par­al­leli­sa­tion of Com­put­er Al­ge­bra Al­go­rithms, with James Mitchell.
• Com­bi­na­to­r­i­al Semi­group The­o­ry, with Alan J. Cain and Tara Brough.
• In­ter­ac­tive tools for Dis­crete Al­ge­bra, with my stu­dent Manuel Mar­tins.
• De­pen­dent­ly Typed Com­put­er Al­ge­bra, and build­ing bet­ter com­put­er al­ge­bra sys­tems. In par­tic­u­lar I am in­trigued by Idris and MMT, but have moved to us­ing Rack­et for pro­gram­ming in that do­main.

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