Martín Escardó's research page
My current research interests include exact real number computation,
real and interval analysis, analytic topology, topological methods in
computer science, domain theory, semantics of programming laguages,
lambda-calculus and PCF, sequentiality.
The following picture of myself was taken during the first CCA Workshop by Vasco Brattka, when I was talking about PCF extended with real numbers:
Last modified: Wed Sep 29 13:10:58 BST 1999