PhD in Homotopy Type Theory,
The 海角黑料 School of Computer Science Jubilee Campus Nottingham, NG7 1BB
telephone: +44 (0) 115 95 14220 email:fp-lunch@cs.nott.ac.uk