Todd is an Assistant Professor (Education) and a final year PhD student. 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 about Todd, please follow the link below:
Todd Waugh Ambridge's personal webpage