Mr Andrew Sneap

Andrew Sneap

School of Computer Science
Research Student

Contact details

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