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.
Research papers and
- Former PhD students: J. Raymundo Marcial-Romero (download thesis), Weng Kin Ho (download thesis),
Thomas Anberree (download thesis).
If you would like to be a PhD student in a topic close to my
research interests, please contact me after looking at our postgraduate-research page.
David Plume, jointly
supervised by Alex
Simpson and myself, implemented a calculator
for exact real number computation as his BSc honours project. If
you prefer, here is a postscript version of
the report. The implementation of the calculator is available in the following tar files:
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.
- I have also supervised three other undergraduate projects on exact
real number computation.
This 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: Monday June 5 10:39:20 UTC 2023