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, and much more.
I feel at home here on Mathstodon.
#ConstructiveMathematics #HoTT #UnivalentFoundations #Topology #Locales #Toposes #Computability #ClassicalMathematics #TypeTheory #GameTheory #DomainTheory #ComputerScience
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, and much more.
I feel at home here on Mathstodon.
#ConstructiveMathematics #HoTT #UnivalentFoundations #Topology #Locales #Toposes #Computability #ClassicalMathematics #TypeTheory #GameTheory #DomainTheory #ComputerScience
Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4NIP-05 Address
MartinEscardo_at_mathstodon.xyz@mostr.pubProfile Code
nprofile1qqs9ce6luatpc5hjcr4gmvu36tp6ge2khmy68s9ykncs7g60uql43jseclrmcAuthor Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4