Structures at the Interface of Physics and Computer Science
This project aims to fund a network to support an emerging research community working at the interface of Computer Science,
Physics and Mathematics. The common theme is the use of high-level mathematical structures such as Category Theory. These
structures have already proved important in various specific areas within these disciplines. It has recently been becoming
clear that they can be used in a unified and very powerful way, and that the same structures occur across these disciplines.
This has led to a lot of exciting research, which has been bringing established researchers together, and attracting students
and young researchers into the area.
The aim of the network is to foster and support these activities, and to nurture
the development of an emerging research community, centred in the UK, which is at the forefront of these exciting developments.
We will do this by supporting regular meetings, providing travel money for young researchers to attend conferences
and make research visits, and managing a strong web presence which can act as a hub for the community. This will help to make
the UK attractive to the best researchers in the world on the topic of the network, and will enable it to take a leading role
in future developments.