Mr Andrew Sneap

Andrew Sneap

School of Computer Science
Research Student

Contact details

Email: axs2176@student.bham.ac.uk
Twitter: @Maths44

Address: School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT

Qualifications

M.Sci. Mathematics and Computer Science with Honours, Class I

Doctoral research

PhD title: Formalization of real number computation in Univalent Foundations
Supervisors: Dr Eric Finster and Professor Martin Escardo