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.

Recent research papers and talks.

David Plume, jointly supervised by Alex Simpson and myself, implemented a calculator for exact real number computation as his BSc project.

I also supervised David McGaw, who worked on the Golden-ratio notation for exact real number computation for his BSc project, which made him a finalist for the British Computer Society Best Student of the Year Award in 1999.

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:

Martin Escardo

Last modified: Wed Sep 29 13:10:58 BST 1999