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

Dan Ghica

Computer Science - Professor of Semantics of Programming Languages

Person: Academic

1 shared research output

Sean Moss

Computer Science - Assistant Professor in AI/CLS

Person: Academic

1 shared research output

Sam Staton

University of Oxford

External person

3 shared research output

AJ Power

External person

3 shared research output

Sergey Goncharov

Friedrich Alexander Universität Erlangen-Nürnberg

External person

2 shared research output

Nathan Bowler

University of Hamburg

External person

2 shared research output

Bart Jacobs

Radboud Universiteit

External person

2 shared research output

Stefan Milius

External person

2 shared research output

JME Hyland

External person

2 shared research output

Jurriaan Rot

Radboud Universiteit

External person

2 shared research output

SB Lassen

External person

2 shared research output

GD Plotkin

External person

2 shared research output

Francesco Gavazzo

University of Bologna

External person

1 shared research output

G McCusker

External person

1 shared research output

Ugo Dal Lago

University of Bologna

External person

1 shared research output

M Hoffman

West Pomeranian University of Technology

External person

1 shared research output

Joshua Sack

Reykjavik University

External person

1 shared research output

Lurdes Sousa

External person

1 shared research output

James Cheney

University of Edinburgh

External person

1 shared research output

Umut A. Acar

Carnegie Mellon University

External person

1 shared research output

J Ad'mek

External person

1 shared research output

Anna Ingolfsdottir

Reykjavik University

External person

1 shared research output

O Danvy

External person

1 shared research output

S Staton

External person

1 shared research output

LM Gomes

External person

1 shared research output

Ohad Kammar

External person

1 shared research output

KY Weldemariam

External person

1 shared research output

L Santocanale

External person

1 shared research output

Lawrence S. Moss

External person

1 shared research output

Roly Perera

University of Birmingham and MPI-SWS

External person

1 shared research output

TA Henzinger

External person

1 shared research output

Nathan Bowler

External person

1 shared research output

E Mayordomo

External person

1 shared research output

B Löwe

External person

1 shared research output

Jiří Adámek

External person

1 shared research output

Lutz Schröder

Friedrich Alexander Universität Erlangen-Nürnberg

External person

1 shared research output

T Altenkirch

External person

1 shared research output

J Duparc

External person

1 shared research output

Luca Aceto

Reykjavik University

External person

1 shared research output

Gordon Plotkin

University of Edinburgh

External person

1 shared research output

V Koutavas

External person

1 shared research output

E Sumii

External person

1 shared research output

F Ferreira

External person

1 shared research output