Jack Romo

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!


MSc Thesis - Higher Artin Stacks and Moduli Stacks

J. Romo

MSc Thesis, Department of Mathematics, University of Oxford, 144 pages, 2020. | PDF | BIB

September 2020

Technical Report - Improving the GP2 Compiler

G. Campbell, J. Romo, D. Plump

Department of Computer Science, University of York, 49 pages, 2018. | PDF | BIB

September 2019

BSc Thesis - Turing Machine Networks

J. Romo

BSc Thesis, Department of Computer Science, University of York, 39 pages, 2019. | PDF | BIB

April 2019

Project Report - Fast Graph Programs

G. Campbell, J. Romo, D. Plump

Project Report, Department of Computer Science, University of York, 49 pages, 2018. | PDF | BIB

September 2018

Slides & Talks

Lecture Series - Introduction to Algebraic Topology

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

June 2019

Presentation - Turing Machine Networks

A presentation detailing my work on Turing Machine Networks.

April 2019

Lecture Series - Static Code Scheduling for Parallelism

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

June 2017


Graduate Design Engineer


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

Undergraduate Researcher

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

Toolchain Placement Engineer


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

Coding Instructor

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

Math Teaching Assistant

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


University of Leeds

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

University of Oxford

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

University of York

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

St. George's International School of Switzerland

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
Nifty tech tag lists from Wouter Beeftink