Looking up spiral staircase

Computer & Information SciencesMathematically structured programming

We're researching programming languages to provide solutions to problems in important areas such as:

  • concurrency and distribution
  • program verification
  • multi-core architectures
  • domain specific languages
  • security
  • web programming
  • mobile app

We do this by using mathematics to understand the nature of computation and to turn that understanding into the next generation of programming languages.

´╗┐To achieve our research goals we use ideas from category theory, type theory and functional programming.

Our research projects

Projects we've been working on include:

Our researchers

Find out more about our research on the Mathematically Structured Programming Group website.