PhD Computer Science,
https://orcid.org/0000-0002-9057-1928
Homotopy Type Theory, Cubical Type Theory, Topos Theory, Meta Theory of Type Theory
https://jsvb.xyz/teaching/
See https://jsvb.xyz
The University of Nottingham School of Computer Science Jubilee Campus Nottingham, NG7 1BB
telephone: +44 (0) 115 95 14220 email:fp-lunch@cs.nott.ac.uk