Martín Escardó's research page

My current research interests include topological methods in the theory of computation, domains and continuous lattices in analysis and topology, effective and constructive real analysis, exact numerical computation, locale theory, programming language semantics, domain theory, lambda-calculus, functional programming.

This picture of myself was taken during the first CCA Workshop by Vasco Brattka, when I was talking about PCF extended with real numbers:

Martin Escardo

Last modified: Monday June 5 10:39:20 UTC 2023