User Martín Hötzel Escardó

Martín Hötzel Escardó

Member for 1 year, 10 months
Last seen more than 1 year ago

cs.bham.ac.uk/~mhe
UK

Stats

151

reputation

reached

answers

questions

Communities

Area 51

151
Information Security

1
MathOverflow

1
Meta Stack Exchange

1
Proof Assistants

1

About

My research interests include computation, constructive mathematics, univalent mathematics, classical mathematics, topology, domain theory, (homotopy) type theory, game theory, and occasionally logic.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

bronze badges

Critic

Nov 23, 2021
Supporter

Nov 23, 2021

Posts

This user hasn’t posted yet.