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

P Oliva

External person

7 shared research output

Thierry Coquand

Chalmers University of Technology
University of Gothenburg

External person

4 shared research output

T Streicher

External person

3 shared research output

Abbas Edalat

Imperial College London

External person

3 shared research output

K Keimel

Technische Universitat Darmstadt

External person

3 shared research output

Paulo Oliva

Queen Mary, University of London
University of Birmingham

External person

3 shared research output

Thomas Streicher

Technische Universitat Darmstadt
Imperial College London

External person

3 shared research output

Peter Dybjer

Chalmers University of Technology

External person

2 shared research output

Nicolai Kraus

University of Nottingham

External person

2 shared research output

Alex Simpson

University of Edinburgh

External person

2 shared research output

Thorsten Altenkirch

University of Nottingham

External person

2 shared research output

Marc Bezem

University of Bergen

External person

2 shared research output

B Lowe

External person

2 shared research output

B Cohen

Technische Universitat Darmstadt

External person

2 shared research output

A Simpson

External person

2 shared research output

[No Value] [No Value]

External person

1 shared research output

Robert C. Flagg

University of Southern Maine

External person

1 shared research output

A. Jung

University of Birmingham
IT University of Copenhagen

External person

1 shared research output

D. Pavlović

Kestrel Institute

External person

1 shared research output

M Bezem

External person

1 shared research output

Thomas Erker

Technische Universitat Darmstadt

External person

1 shared research output

Peter LeFanu Lumsdaine

Stockholm University

External person

1 shared research output

Jens Blanck

External person

1 shared research output

A Bauer

External person

1 shared research output

R Conejo

External person

1 shared research output

K Ambos-Spies

External person

1 shared research output

WK Ho

External person

1 shared research output

P Widmayer

External person

1 shared research output

T Triguero

External person

1 shared research output

M Hennessy

External person

1 shared research output

F De Jaeger

Max Planck Institute for Biological Cybernetics

External person

1 shared research output

W Merkle

External person

1 shared research output

G Santini

External person

1 shared research output

LM Gomes

External person

1 shared research output

R Heckmann

External person

1 shared research output

John T. Potts

Imperial College London

External person

1 shared research output

Lars Birkedal

IT University of Copenhagen

External person

1 shared research output

S Eidenbenz

External person

1 shared research output

Giuseppe Rosolini

IT University of Copenhagen

External person

1 shared research output

E Mayordomo

External person

1 shared research output

Norbert Müller

University of Trier

External person

1 shared research output

AK Simpson

External person

1 shared research output

M Hofmann

Susteen Technologies

External person

1 shared research output

Paul Zimmermann

INRIA Lorraine

External person

1 shared research output

Michael Shulman

University of San Diego

External person

1 shared research output

R Morales

External person

1 shared research output

T Powell

External person

1 shared research output

JR Marcial-Romero

External person

1 shared research output

JD Lawson

External person

1 shared research output

Ulrich Berger

External person

1 shared research output

Michael Mislove

External person

1 shared research output

F Ferreira

External person

1 shared research output