Paul Levy – Network — University of Birmingham

View Scopus Profile

Accepting PhD Students

PhD projects

Paul Levy’s research has explored call-by-push-value, an endlessly fascinating programming calculus that underlies the call-by-value and call-by-name paradigms. More generally, he is interested in anything related to denotational semantics, including games, categories and nondeterminism.

Research activity per year

The University of Birmingham

Organisational unit: University

47 shared research output

Engineering and Physical Sciences

The University of Birmingham

Organisational unit: College

47 shared research output

Radboud Universiteit

External organisation: University or other Higher Education Institute

3 shared research output

Friedrich Alexander Universität Erlangen-Nürnberg

External organisation: University or other Higher Education Institute

2 shared research output

University of Edinburgh

External organisation: University or other Higher Education Institute

2 shared research output

University of Hamburg

External organisation: University or other Higher Education Institute

2 shared research output

Carnegie Mellon University

External organisation: University or other Higher Education Institute

1 shared research output

University of Oxford

External organisation: University or other Higher Education Institute

1 shared research output

University of Bologna

External organisation: University or other Higher Education Institute

1 shared research output

Reykjavik University

External organisation: University or other Higher Education Institute

1 shared research output

University of Birmingham and MPI-SWS

External organisation: Unknown

1 shared research output