Mathematical Foundations Group

Picture of Alan Turing
The Mathematical Foundations Group is an informal group composed mainly of people working in the Computer Science department at the University of Manchester.

The MFG is runs a course for students taking the MSc in Mathematical Logic in the Mathematics department. This course is also suitable for new research students. It covers a variety of topics and is aimed at introducing students to the kinds of mathematics and logic used in theoretical computer science. For further details see the course webpage.

We are a very active group with diverse research interests. Some of these are listed below along with details of our other activities. The present members of the group are listed to the left and you are invited to have a look at these personal pages for more information about individual interests and publications.

Research Interests

  • Mathematical Logic
  • Category Theory
  • Type Theory
  • Constructive Set Theory
  • Point-free Topology
  • Topological Transition Systems
  • Domain Theory
    		•
  • Exact Arithmetic
  • Semantics of Computation
  • Linear Logic
  • Game Theory
  • Data Abstraction
  • Proof Theory
  • Graph Re-writing
    		•

    Seminars and Lecture Notes

    The MFG holds regular seminars throughout the year.

    As a result of our seminar series we now have a selection of lecture notes available. Follow the link for further details.

    Previous Group Members

    In recent years Robin Adams, Robert Beattie, Matthew Collinson, Nicola Gambino, Barney Hilken, Jonathan Kirby, Moneesha Mehta and Mark Price were members of the MFG.

    These pages are maintained by Don MacInnes. Last changed on 4th October 2004.
    (If you own the copyright for the picture of Alan Turing above, and would prefer us not to use the image, then just let me know and I'll remove it.)
    Disclaimer, Terms of Use and