Martin Escardo
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.
See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html
homepage: https://www.cs.bham.ac.uk/~mhe/
Pronouns: He/Him
Inclusivity: Full
Attempting: To get as green as possible and save the planet
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.
See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html
homepage: https://www.cs.bham.ac.uk/~mhe/
Pronouns: He/Him
Inclusivity: Full
Attempting: To get as green as possible and save the planet
Public Key
npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fseNIP-05 Address
martinescardo_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqs276022w503gu7xv47zr30r92wmw32405xp5tpnsf9w62ytshwulsprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnt2gkyl7Publishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fse