
Registered user since Fri 3 Jul 2015
Name:Dominic Mulligan
Bio:
I am currently a postdoc, working with Peter Sewell and his team, in the Computer Laboratory at the University of Cambridge. Prior to Cambridge I had a potdoc position in the Department of Computer Science at the University of Bologna with Claudio Sacerdoti Coen on verified C compilers. Prior to my move to Italy, I was a PhD student in the Dependable Systems Group of the Department of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh. There, I studied nominal techniques under the supervision of Dr. Murdoch J. Gabbay and Prof. Phil W. Trinder.
Affiliation:Cambridge University
Personal website:http://dominic-mulligan.co.uk/
Contributions
CPP 2016 | Committee Member in Program Committee within the CPP-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile