Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Anthony Bordg

Title Dr.
Academic Institution Cambridge University
Academic department Computer Laboratory
Country United Kingdom
Contact Information https://sites.google.com/site/anthonybordg/
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 Cambridge University. He works on the ALEXANDRIA project "Large-Scale Formal Proof for the Working Mathematician" led by Prof. Larry Paulson.

CAS Project