Mathematical Foundations

The Mathematical Foundations activity is an informal group composed mainly of people working in the School of Computer Science of the University of Manchester. The activity takes place as part of the Formal Methods group.

We are a group with diverse research interests. Our members are listed to the right and you are invited to have a look at these personal pages for more information about individual interests and publications.

Our areas of interest

  • Mathematical Logic
  • Category Theory
  • Thory of Recursion
  • Pointfree Topology
  • Semantics of Computation
  • Linear Logic
  • Game Semantics
  • Proof Theory
  • Modelling Computation
  • Mathematical Modelling of Reasoning


Generated: Monday, 20 May 2019 09:51:30
Last change: Sunday, 12 May 2019 21:24:35
More news


  • Francisco Lobo
  • Joe Razavi
  • Hugh Steele

Affiliated groups

▲ Up to the top