Welcome to Dominic Mulligan's website
My name is Dominic Mulligan. I'm currently a third year postgraduate research student at Heriot-Watt University, Edinburgh. My primary supervisor is Dr. Murdoch. J. "Jamie" Gabbay and my secondary supervisor is Dr. Phil Trinder. All three of us belong to the Dependable Systems Group, in the Computer Science department.
My research interest at Heriot-Watt is nominal techniques. These are a group of techniques and tecnologies, centred on Fraenkel-Mostowski set theory, that attempt to treat variables, or other entities with names, as formal mathematical objects. The title of my thesis is 'Extensions of Nominal Terms'. I administer the Name Binding Blog and the Nominal Bibliography, as part of an attempt to raise the profile of nominal techniques, and their wider research context.
I attend the Scottish Theorem Provers and Scottish Programming Language Semantics meetings. These are colloquia for people interested in automated theorem proving and formal programming language semantics, respectively, in Scotland.
My interests (aside from nominal techniques) are centred in mathematical logic and theoretical computer science. However, I'm interested in anything remotely complicated.
Outside of university, I am a member of Lismore Rugby Union Club. I train regularly with them, and play for their first team (I play loosehead prop). I'm also a member of the Woodcutter's Cricket Club, and play regularly for them. Occassionally, I also play five-a-side football.
Contact
My office is EM1.56. I can be found there during office hours on most days. Otherwise, you may can contact me via e-mail, at dominic DOT p DOT mulligan AT gmail DOT com.
Paris, France, Summer 2010