Jack Romo


PhD Mathematics

2020 - 2023
University of Leeds

My research centers around higher categories and topological field theories, supervised by Dr. Joao Gonclaves Faria Martins and Dr. Nicola Gambino.

MSc Mathematics and Foundations of Computer Science

2019 - 2020
University of Oxford

Final grade: 83% (Distinction.) I was part of a reading group on quasicategories during this degree. My master’s thesis was on higher Artin stacks, supervised by Prof. Frances Kirwan.

BSc Computer Science and Mathematics

2002 - 2006
University of York

Final grade: 90% (First with Distinction.) 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 in industry was completed at MIPS LLC. My final year thesis was on Turing Machine networks, supervised by Dr. Detlef Plump.

Work Experience

Software Engineer

06/2019 - 09/2019
ThinCI, Leeds, UK

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

Undergraduate Researcher

06/2018 - 09/2018
University of York, York, UK

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.

Software Engineer

07/2017 - 05/2018
MIPS, Leeds, UK

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.

Coding Instructor

09/2016 - 12/2016
Digital York, York, UK

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.

Math Teaching Assistant

05/2016 - 07/2016
York Students in Schools, York, UK

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.