Blonay, Switzerland ·
mmjtr
[at] leeds [dot] ac [dot] uk

I’m a Mathematics PhD student at the University of Leeds. I’m excited about research in algebra, geometry and theoretical computer science, particularly in higher category theory, homotopy type theory, algebraic geometry, algebraic and geometric topology, toposes, rewriting systems, complexity theory and formal verification.

I’ve worked on several research projects in both industry and academia. I was an active developer of the GCC during my time working at MIPS LLC, and aided in research on graph transformations with Graham Campbell and Detlef Plump, as well as helping on formal verification of concurrent systems with Ana Cavalcanti and Simon Foster. I’m always happy to talk, so drop an email if you want to chat!

September 2020

September 2019

April 2019

September 2018

An introductory course to algebraic topology, covering simplicial and cell complexes, the fundamental group and the connections to group presentations therein.

June 2019

April 2019

A short lecture series on code scheduling, including dependences and software pipelining.

June 2017

ThinCI

Developing demos and drivers for ThinCI's Graph Streaming Processor (GSP), an external chip for accelerated machine learning and computer vision processing.

June 2019 - September 2019

University of York

Worked alongside Graham Campbell and Detlef Plump with an EPSRC-funded summer grant to investigate an optimization for graph transformation-based programming languages, called 'root nodes'. Project was in the end successful, resulting in a report listed above. At the same time, worked with Ana Cavalcanti and Simon Foster on verification of reactive Circus processes; this did not result in a report due to time constraints.

June 2018 - September 2018

MIPS LLC.

Contributed to the MIPS Toolchain and GCC, in particular developing exception handling runtimes and interrupt code generation. Helped in development of new nanoMIPS ABI. Designed architecture for new OpenMP implementation for MIPS using MT ASE. Listed as a contributor to GCC nanoMIPS patch.

July 2017 - May 2018

Digital York

Worked alongside City of York Council to develop and teach a six-week introductory programming course to secondary school students. Course covered variables and types, control flow, data structures, functions, iteration vs recursion and example algorithms.

October 2016 - December 2016

University of York, Fulford School

Took part in the York Students In Schools volunteering programme to assist in several secondary school math classrooms for one term. Helped students with assignments and answered questions from students of all skill levels.

May 2016 - June 2016

PhD in Mathematics

My PhD currently centers around higher category theory in topological quantum field theories. More generally, I will be looking for interesting connections between higher category theory and foundational physics.

2020 - 2023

MSc Mathematics and Foundations of Computer Science

I was a member of Lincoln College during my studies. My courses included Algebraic Topology, Algebraic Geometry, Category Theory, Scheme Theory, Lie Groups and Homological Algebra. I was a member of a reading group on higher category theory and wrote my dissertation on higher Artin stacks under Prof. Frances Kirwan.

2019 - 2020

BSc Computer Science and Mathematics (Year in Industry)

I finished a BSc in Computer Science and Mathematics at the University of York, receiving a First with Distinction and a mark of 90% overall. In this time, I received a prize for the highest results in the second year of the Computer Science department, the Cybula Prize for best finalist results in the Computer Science department, and the P. B. Kennedy Prize for Outstanding Achievement in the final degree examination in Mathematics. My year industry was completed at MIPS LLC.

2015 - 2019

International Baccalaureate

I received my IB Diploma at St. George's International School of Switzerland, earning a 40/45 overall. I ran a programming club and directed / was cast in several school plays during this time.

2013 - 2015