Martin Escardo – Network — University of Birmingham

View Scopus Profile

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

The University of Birmingham

Organisational unit: University

76 shared research output

Engineering and Physical Sciences

The University of Birmingham

Organisational unit: College

76 shared research output

University of Edinburgh

External organisation: University or other Higher Education Institute

7 shared research output

Imperial College London

External organisation: University or other Higher Education Institute

7 shared research output

Electronics and Photonics Department, Institute of High Performance Computing, ASTAR

External organisation: Unknown

3 shared research output

Technische Universitat Darmstadt

External organisation: University or other Higher Education Institute

3 shared research output

Laboratory for Foundations of Computer Science

External organisation: Unknown

2 shared research output

University of Gothenburg

External organisation: University or other Higher Education Institute

2 shared research output

Department of Computer Science

External organisation: Unknown

2 shared research output

University of Nottingham

External organisation: University or other Higher Education Institute

2 shared research output

Chalmers University of Technology

External organisation: University or other Higher Education Institute

2 shared research output

Queen Mary, University of London

External organisation: University or other Higher Education Institute

2 shared research output

Kestrel Institute

External organisation: Unknown

1 shared research output

University of San Diego

External organisation: No HESA Fund Source

1 shared research output

University of Trier

External organisation: University or other Higher Education Institute

1 shared research output

University of Southern Maine

External organisation: Unknown

1 shared research output

Stockholm University

External organisation: University or other Higher Education Institute

1 shared research output

School of Computer Science

External organisation: Unknown

1 shared research output

LFCS

External organisation: Unknown

1 shared research output

INRIA Lorraine

External organisation: Unknown

1 shared research output

University of Bergen

External organisation: University or other Higher Education Institute

1 shared research output

IT University of Copenhagen

External organisation: University or other Higher Education Institute

1 shared research output

University of Birmingham

External organisation: University or other Higher Education Institute

1 shared research output