Paul Levy

View Scopus Profile

Paul Levy

Dr.

 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.

20022022

Research activity per year

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.

Mathematics

Engineering & Materials Science