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.