Don MacInnes

Welcome!



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
 Teaching:
  • CS1112 Reasoning about programs
  • CS2121 Implementation and power of computer languages

Crosswords

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

Pictures

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.

Wisdom

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
Manchester
M13 9PL
England

Or you can email me at
NOSPAMdmacinnes at cs.man.ac.uk,
but remove the anti-spam devices first!

Mailing Lists

Types
Categories
Foundations of Mathematics
Coalgebras
Xy-pic


University Logo

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