I am currently a Research Assistant, working with Peter Sewell and his team, in the Computer Laboratory at the University of Cambridge. We are working on topics related to modelling multicore hardware (i.e. multiprocessors), for example new ARM, PowerPC or Intel x86 designs.
Prior to Cambridge I had a position as a Research Assistant in the Department of Computer Science at the University of Bologna. I was employed by the European Union’s FET-Open funded CerCo (Certified Complexity) project, a collaboration between the Universities of Bologna, Edinburgh and Paris 7 (Diderot). CerCo aimed (technically aims, as the project is still ongoing for another few months) to produce a certified concrete complexity preserving compiler for a large subset of the C programming language, suitable for use in embedded systems development.
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 under the supervision of Dr. Murdoch J. Gabbay and Prof. Phil W. Trinder. My doctoral research was related to nominal techniques, specifically studying calculi with internalised notions of metavariable, and a novel nominal unification algorithm. I passed my viva in Autumn 2010, examined by Dr. Maribel Fernandez and Prof. Greg Michaelson.
My e-mail address is dominic DOT p DOT mulligan AT gmail DOT com.