Vladimir Voevodsky was appointed as a Clay Senior Scholar from September to December, 2014, to take part in Homotopy Type Theory and its Applications at the University of Oxford.