Martin Escardo


Accepting PhD Students

PhD projects

Martín Escardó’s current research interests include topological methods in the theory of computation, in particular: topology in higher-type computability theory; topology for functional programming; domains and continuous lattices in analysis and topology; effective and constructive real analysis; exact real-number computation; locale theory; programming language semantics; domain theory; lambda calculus; type theory; and functional programming.


Research activity per year

If you made any changes in Pure these will be visible here soon.


Dive into the research topics where Martin Escardo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles