Don MacInnes


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 science.

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.

Research Interests:
  • Category Theory
  • Lattice Theory
  • CS1112 Reasoning about programs
  • CS2121 Implementation and power of computer languages


Every so often I write a cryptic crossword. You can find those I've written so far here.


For those who like to see pictures...
  • Here is one of my former office mate and me. As you'll see we're working very diligently on a difficult task.
  • I've also got a cute picture of my old college in the wintertime. You can find it here.


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 Address

Room 2.106
Department of Computer Science
Kilburn Building
Oxford Road
M13 9PL

Or you can email me at
NOSPAMdmacinnes at,
but remove the anti-spam devices first!

Mailing Lists

Foundations of Mathematics

University Logo

This page is maintained by me. I'd be happy to receive any comments or corrections. Last changed on 14th May 2006.