I'm a member of the Mathematical Foundations Group
in the Department of Computer
Science. After my first degree, in Mathematics at Emmanuel College in Cambridge, I came to Manchester to do
an MSc in Mathematical Logic in the Mathematics department during which
time I became interested in category theory and theoretical computer
My MSc thesis (on intuitionistic modal logic) is available as a technical report in ps or ps.gz or pdf format. It's been slighly updated since the thesis was originally submitted and the PostScript (ps) version is the best quality -- the pdf looks a bit rough on screen, but does print properly.
|For those who like to see pictures...|
It is very strange, this domination of our intellect by our digestive organs. We cannot work, we cannot think, unless our stomach wills so. It dictates to us our emotions, our passions. After eggs and bacon it says, "Work!" After beefsteak and porter, it says, "Sleep!" After a cup of tea (two spoonfuls for each cup, and don't let it stand for more than three minutes), it says to the brain, "Now rise, and show your strength. Be eloquent, and deep, and tender; see, with a clear eye, into Nature, and into life: spread your white wings of quivering thought, and soar, a god-like spirit, over the whirling world beneath you, up through long lanes of flaming stars to the gates of eternity!"
Jerome K. Jerome (1859-1927): Three Men in a Boat
Contact AddressRoom 2.106
Department of Computer Science
Or you can email me at
NOSPAMdmacinnes at cs.man.ac.uk,
but remove the anti-spam devices first!
Foundations of Mathematics
This page is maintained by me. I'd be happy to receive any comments or corrections. Last changed on 14th May 2006.