Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Anthony Bordg

Title Postdoctoral Fellow
Academic Institution University of Cambridge
Academic department Computer Laboratory
Country United Kingdom
Area(s) of Expertise Homotopy Type Theory/Univalent Foundations, the semantics of type theory, the formalization of mathematics

About fellow

Anthony Bordg is a Research Associate in the Computer Laboratory of the University of Cambridge (UK). He works on the ALEXANDRIA project "Large-Scale Formal Proof for the Working Mathematician" led by Prof. Larry Paulson.

CAS Project