Note: I've just migrated to a different server to run Spivey's Corner. Please let me know if anything needs adjustment! – Mike

Welcome to Spivey's Corner

From Spivey's Corner
Jump to navigation Jump to search
Your host at leisure

This wiki provides course materials and a discussion forum for the lecture courses that I give to Computer Science students in Oxford. Some pages will contain course material, and I will protect those pages from editing, so that everyone can see the material as I presented it. Each protected page will have an associated discussion page, and you are welcome to add comments there, or to make corrections or additions to any of the other pages. To make edits, you will need to create an account for yourself, but anyone with an Oxford e-mail address is welcome to participate, in a way consistent with the code of conduct.

The year 2022 marks the moment when I have been a member of the University for forty years, having come here as a graduate student immediately after graduating in Mathematics from another university "closer to the Fens". I am starting to make plans for retirement, and to make that possible I am beginning to remove things from Spivey's Corner and to find homes for some of them elsewhere. So various less-used parts of the site will slowly become black holes; if you find a black hole where you hoped to find something else, don't panic – let me know and I will do my best to help. – Mike

Course materials

College teaching

That check

Project ideas

  • A separate page has a list of projects that I'd currently like to supervise.
  • Another page has some older project ideas. Some of these have been done and the results are publicly available; others don't seem so relevant now as when I first suggested them.


Note: These books are slowly moving to GitHub, and PDF versions where available can be downloaded from there.


The three pussy-cats of Oriel



Debian packages for OBC and other software are available in a private archive for use with apt.

Pages for tutors

Defiantly hosted on Raspberry Pi

There are pages restricted to tutors that contain solutions for problem sheets and past exam papers. Tutors should create an account, then send an e-mail to Mike, who will add them the the tutors group and give them access to the tutors' section of the wiki.