Todd is an Assistant Professor and a former PhD and UG student of the School of Computer Science. He is passionate about supporting students within the School on their academic journey. Meanwhile, his own 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 study, he likes to hike, play role-playing and board games, and go to the pub.
For more information, please see Todd Waugh Ambridge's personal webpage.