![@MartinEscardo@mathstodon.xyz](https://kbin.cafe/media/cache/resolve/user_cover/a5/df/a5df61b495bda1259ae1d8bccfe3729724cd923801b700c2dceae460327d6ad0.jpg)
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.
This profile is from a federated server and may be incomplete. Browse more on the original instance.