Dominic Mulligan


In September 2010 I took up a postdoctoral position in the Department of Computer Science at the University of Bologna. Here, I am 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 aims 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 studed 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.


Journal papers

Workshop proceedings



Technical reports

Under construction or consideration