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 second year of Ph.D. study under the supervision of 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

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

HoTT/UF 2020
The Internet (July 2020)

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

DeepLearn 3
Warsaw, Poland (July 2019)

FoCS MGS 2019
Birmingham, UK (April 2019)

PERR 2019
Prague, Czech Republic (April 2019)

SYCO 1
Birmingham, UK (September 2018)

AchimFest
Birmingham, UK (September 2018)

LOLA 2018
Oxford, UK (July 2018)

                                                                                                    

Teaching

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 T.W.Ambridge@cs.bham.ac.uk if you wish to contact me!
Header image by myself -- more images to come soon. Website design by Mobirise.