Dylan McDermott

dylanm [at] ru [dot] is

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.


PhD thesis

Research talks