Todd Waugh Ambridge

Assistant Professor
School of Computer Science
University of Birmingham

After passing my Ph.D. viva with minor corrections in August 2023, I was hired as a teaching-focused Assistant Professor in the department that has been my home for ten years.
My research interests include univalent type theory, formalisation of mathematics and diagrammatic programming languages.

MGS 2024

Notes for the "Introduction to Type Theory with Agda" course are available here.

Papers / Talks / Tools

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
Thesis [x]

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]

Visits

SYCO 12
Birmingham, UK (Co-organiser, April 2024)

MGS 2024
Leicester, UK (Lecturer, April 2024)

MGS 2023
Birmingham, UK (Co-organiser, April 2023)

CCC 2022
Padova, Italy (Speaker, September 2022)

MGS 2022
Nottingham, UK (April 2022)

CiE 2021
The Internet (Speaker,July 2021)

LICS 2021
The Internet (Speaker, July 2021)

HoTT/UF 2020
The Internet (Speaker, July 2020)

STRINGS 3/SYCO 5
Birmingham, UK (September 2019)

DeepLearn 3
Warsaw, Poland (July 2019)

MGS 2019
Birmingham, UK (April 2019)

PERR 2019
Prague, Czech Republic (Speaker, April 2019)

SYCO 1
Birmingham, UK (September 2018)

LOLA 2018
Oxford, UK (July 2018)

Teaching

I am currently a Lecturer on the Theories of Computation, Computer Systems and Advanced Functional Programming modules.

Previously, I have been a TA for modules on Functional Programming, Foundations of Mathematics in CS 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 used to regularly walk-lead for the Wayfarers Hiking Society, which I volunteered as a committee member for for four years (2014-18).

← Jon

Please email me at t.waughambridge@bham.ac.uk if you wish to contact me!

Matthew →