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.

20022021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Master of Mathematics, University of Cambridge

1 Oct 199230 Jun 1996

Award Date: 30 Jun 2011

Doctor of Philosophy, 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

Network

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

    Rot, J., Jacobs, B. & Levy, P., Sep 2021, In: Journal of Logic and Computation. 31, 6, p. 1482–1525

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    6 Downloads (Pure)
  • Coinductive resumption monads: guarded iterative and guarded Elgot

    Levy, P. B. & Goncharov, S., 31 Dec 2019, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl, Vol. 139. p. 13:1--13:17 18 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    92 Downloads (Pure)
  • Strong functors on many-sorted sets

    Levy, P. B., 1 Dec 2019, In: Commentationes Mathematicae Universitatis Carolinae. 60, 4, p. 533-540

    Research output: Contribution to journalArticlepeer-review

  • A Ghost at ω1

    Levy, P., 26 Jul 2018, In: Logical Methods in Computer Science. 14, 3, 27 p., 4714.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    60 Downloads (Pure)
  • A Syntactic View of Computational Adequacy

    Devesas Campos, M. & Levy, P. B., 14 Apr 2018, Foundations of Software Science and Computation Structures (FOSSACS 2018): 21st International Conference, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer, Vol. 10803. p. 71-87 (Lecture Notes in Computer Science - Advanced Research in Computing and Software Science ; vol. 10803).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Citation (Scopus)