Skip to main navigation Skip to search Skip to main content
Paul Levy

View Scopus Profile

Paul Levy

Prof

 https://orcid.org/0000-0003-0864-1876

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.

1999 …2026

Research activity per year

Personal profile

Education/Academic qualification

Master of Mathematics, University of Cambridge

1 Oct 1992 → 30 Jun 1996

Award Date: 30 Apr 2011

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

1 Oct 1996 → 31 Mar 2001

Award Date: 12 Dec 2001

Master of Arts, University of Cambridge

1 Oct 1992 → 30 Jun 1995

Award Date: 20 Feb 1999

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
View full fingerprint

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
Explore network further

  • What Is a Monoid?

    Levy, P. B. & Rogers, M., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 2468-2493 26 p., 85.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    File
    37 Downloads (Pure)

  • Broad Infinity and Generation Principles

    Levy, P., 10 Feb 2025, In: Notre Dame Journal of Formal Logic. 66, 1, p. 79-141 63 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    39 Downloads (Pure)

  • Probabilistic Strategies: Definability and the Tensor Completeness Problem

    Bowler, N., Goncharov, S. & Levy, P., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), p. 485-498 14 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    164 Downloads (Pure)

  • SIGLOG Semantics Column: Call-by-push-value

    Levy, P., 30 Apr 2022, In: ACM SIGLOG News. 9, 2, p. 7 29 p.

    Research output: Contribution to journal › Review article

    Open Access
    File
    179 Downloads (Pure)

  • The price of mathematical scepticism

    Levy, P., Oct 2022, In: Philosophia Mathematica. 30, 3, p. 283-305 23 p., nkac011.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    207 Downloads (Pure)
View all 53 research outputs
View all 6 projects