Todd started his academic career at the University of Birmingham in 2014 as an undergraduate of the School of Computer Science, progressing to PhD study in 2018. He worked as a Research Intern at Huawei’s Programming Languages Lab in Edinburgh from 2021-2022 and was a Teaching Fellow at the University of Birmingham from 2022-2023.
His thesis, ‘Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics’ was submitted in 2023, the same year he became a teaching-focused Assistant Professor in the School. His research looks at formalised and verified data-types for exact real number encodings, and the construction of verified algorithms for optimisation on such data-types.
Outside of Computer Science, Todd likes to hike, play board and computer games, and go to the pub.