Research

I used to be a resarch fellow in the School of Computer Science at University of St Andrews.

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

I was previously funded by the Horizon 2020 OpenDreamKit Grant, and the EPSRC.

I am interested in

• com­put­ing stuff about semi­groups and groups us­ing trans­for­ma­tions, per­mu­ta­tions, ma­tri­ces, and pre­sen­ta­tions, or by ex­ploit­ing geo­met­ric and com­bi­na­to­r­i­al prop­er­ties, through au­toma­ta or for­mal lan­guages
• build­ing bet­ter pro­gram­ming sys­tems to com­pute stuff by us­ing (de­pen­dent) types, proof as­sis­tants, for­mal sys­tems, log­ic and cat­e­go­ry the­o­ry

Pro­jects and Col­lab­o­ra­tions

• Search in Per­mu­ta­tion Groups, with Re­bec­ca Waldeck­er, Chris Jef­fer­son, and Wilf Wil­son,
• Con­struct­ing Ma­jo­rana Al­ge­bras, with Madeleine Why­brow,
• 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.

Stu­dents

• 2016–Fe­lix Schmoll, Type in­fer­ence and analy­sis of GAP code
• 2016–Kawthar Ali, MMath dis­ser­ta­tion
• 2017–Lu­cas Jones, Schreier-Sims for GAP and HPC-GAP
• 2017–Vic­tor Va­syliev, Math-in-the-Mid­dle sys­tem
• 2017–Alas­dair Mc­In­doe, Par­al­lelised Semi­group Enu­mer­a­tion
• 2017–Daphne Bo­gosian, Al­go­rithms for Hy­per­bol­ic Groups in GAP and HPC-GAP
• 2018–Kir­ill Ro­driguez, Chi­nese Re­main­der­ing for Lin­ear Equa­tions over the Ra­tio­nals in GAP
• 2018–Daphne Bo­gosian, Joint-Ho­n­ours Pro­ject: So­lu­tions to Equa­tions over Free Groups
• 2018–Kir­ill Ro­driguez, Ma­chine Learn­ing Meth­ods for Fi­nite­ly Pre­sent­ed Groups

Re­search Groups

I am a member of

• CIR­CA,
• the Al­ge­bra Group,
• the Func­tion­al Pro­gram­ming Group, and
• the Ar­ti­fi­cial In­tel­li­gence Group.