Dr Dylan McDermott
Senior Research Associate
PublicationsI am currently a Senior Research Associate at the University of Oxford. Previously, I was a postdoc at Reykjavik University, and before that, I earned my PhD from the University of Cambridge. I work primarily on denotational semantics for graded computational effects, including multiparty session types from the computational effects perspective. I am also interested in notions of algebraic theory, especially from the perspective of formal category theory.
Publications
2025
-
: Grading call-by-push-value, explicitly and implicitly. FSCD 2025 .