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
nprofile1qqs276022w503gu7xv47zr30r92wmw32405xp5tpnsf9w62ytshwulspp4mhxue69uhhjctzw5hx6egpp4mhxue69uhkummn9ekx7mq57r7y3Author Public Key
npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fse