Publications

Publications

Papers

Higher Artin Stacks and Moduli Stacks

J. Romo, MSc Thesis, Department of Mathematics, University of Oxford, 144 pages, 2020.

Turing Machine Networks

J. Romo, BSc Thesis, Department of Computer Science, University of York, 39 pages, 2019.

Improving the GP2 Compiler

G. Campbell, J. Romo, D. Plump, Department of Computer Science, University of York, 49 pages, 2018.

Fast Graph Programs

G. Campbell, J. Romo, D. Plump, Project Report, Department of Computer Science, University of York, 49 pages, 2018.

Presentations

Simplicial Sets: The Convergence of Homotopy and Category Theory

February 2021 | A talk given at the Leeds Postgraduate Seminar on the correspondence between Kan complexes and weak homotopy types.

Introduction to Algebraic Topology

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

Turing Machine Networks

April 2019 | A presentation detailing my work on Turing Machine Networks.

Static Code Scheduling for Parallelism

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