Dylan McDermott

dylandylanm.org

I am currently a post-doc in ICE-TCS at Reykjavik University, working with Tarmo Uustalu on quantified computational effects and interaction.

Previously I was a PhD student in the Programming, Logic and Semantics group of the University of Cambridge Computer Laboratory. I worked with Alan Mycroft on the theory of programming languages with computational effects, including reasoning about evaluation order, and proving correctness of program transformations.


Drafts

Publications

PhD thesis

Some talks

There is also a more complete list.