Mobirise Website Builder v4.8.3

Todd Waugh Ambridge

Ph.D. Student Researcher
Theory Group, School of Computer Science
University of Birmingham

free responsive web templates

I am currently in my third year of Ph.D. study under the supervision of Professors Dan Ghica and Martín Escardó.
My research interests include univalent type theory, formalisation of mathematics, foundational machine learning and diagrammatic programming languages.

Papers / Talks / Tools

Search over uniformly continuous decidable predicates on infinite collections of types
Blog post [x]

Global Optimisation with Constructive Reals
(with Dan R. Ghica)
LICS 2021 publication [x]
LICS 2021 talk [x]

Global Optimisation via Constructive Reals
Talk given by myself @ Huawei-Edinburgh Joint Lab [x]

Formalising the Escardó-Simpson Closed Interval Axiomatisation in Univalent Type Theory
Talk given by myself @ HoTT/UF 2020 [x]
Related Agda code [x] [x]

A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
(with Dan R. Ghica)
Arxiv preprint [x]

Local Reasoning for Robust Observational Equivalence
(with Dan R. Ghica and Koko Muroya)
Arxiv preprint [x]
Talk presented by myself @ PERR 2019 [x]

Spartan Visualiser
An implementation of the GoI-style programming language framework 'The Spartan Calculus' [x]

A Graph-Rewriting Perspective of the Beta-Law
(with Dan R. Ghica and Koko Muroya)
Abstract presented by Koko Muroya @ LOLA 2018 [x] [x]


CiE 2021
The Internet (July 2021)

LICS 2021
The Internet (July 2021)

HoTT/UF 2020
The Internet (July 2020)

Birmingham, UK (September 2019)

DeepLearn 3
Warsaw, Poland (July 2019)

FoCS MGS 2019
Birmingham, UK (April 2019)

PERR 2019
Prague, Czech Republic (April 2019)

Birmingham, UK (September 2018)

LOLA 2018
Oxford, UK (July 2018)



I have been a TA for modules on Functional Programming, Foundations of Mathematics in CS, Advanced Functional Programming and Logic & Computation.

Outside of Computer Science

I am a former editor and writer for Redbrick Film, the film section of the University of Birmingham student newspaper.

I also regularly walk-lead for the Wayfarers Hiking Society, which I volunteered as a committee member for for four years (2014-18).

Please email me at if you wish to contact me!
Header image by myself -- more images to come soon. Website design by Mobirise.