Mr Andrew Sneap School of Computer ScienceResearch Student Contact details Emailaxs2176@student.bham.ac.ukTwitter AddressSchool of Computer ScienceUniversity 麻豆精选EdgbastonBirminghamB15 2TT Qualifications M.Sci. Mathematics and Computer Science with Honours, Class I Doctoral research PhD titleFormalization of real number computation in Univalent FoundationsSupervisorsDr Eric Finster and Professor Martin Escardo
