Paul Levy

Dr.

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.

20022022

Research activity per year

Personal profile

Education/Academic qualification

Master of Mathematics, University of Cambridge

1 Oct 199230 Jun 1996

Award Date: 30 Jun 2011

Doctor of Philosophy, Call-by-push-value, Queen Mary, University of London

1 Oct 199630 Apr 2001

Award Date: 12 Dec 2001

Master of Arts, University of Cambridge

1 Oct 199230 Jun 1996

Award Date: 30 Jun 1998

Fingerprint

Dive into the research topics where Paul Levy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or