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

LOGO
Address:
Drammensveien 78
0271 Oslo
Norway
 
Phone:
+47 22 12 25 00
 
E-mail:
cas@cas.oslo.no
Office hours:
09.00 - 14.45