Welcome to Martin Escardo spacestr profile!

About Me

Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.