Dr Martin Escardo
Reader
Contact details
Telephone (+44) (0)121 414 2797
Office 212 (Y9 Computer Science Building)
Email M.Es...@cs.bham.ac.uk (click the ... to reveal)
Web http://www.cs.bham.ac.uk/~mhe/
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK
About
Research Interests
My current research interests include continuous lattices in analysis and topology , effective real analysis, topological methods in the theory of computation, locale theory, programming language semantics, domain theory, lambda-calculus, functional programming.