Dylan McDermott

Dylan McDermott is a Research Fellow at the University of Oxford's Department of Computer Science. His research focuses on foundational aspects of programming languages and category theory, with a particular emphasis on monadic structures, type systems, and formal semantics. He holds a Senior Research Associate position within the department.

His work bridges theoretical computer science and mathematical structures, exploring areas such as algebraic effects, graded monads, and operational semantics. Notable contributions include advancements in monad theory, category-theoretic approaches to programming language design, and formal reasoning about effectful programs.

McDermott's publications span topics from relative monadicity to WebAssembly type systems, reflecting his expertise in both foundational theory and practical applications. His research often integrates categorical methods with programming language semantics, emphasizing rigorous formalization.

While no specific awards or grants are explicitly mentioned, his prolific publication record indicates sustained scholarly engagement. He is affiliated with the Wolfson Building at the University of Oxford, contributing to the vibrant research community within the Department of Computer Science.