Our vision is to use mathematics to understand the nature of computation, and to turn that understanding into the next generation of programming languages.
We see the mathematical foundations of computation and programming as inextricably linked. We study one so as to develop the other.
This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages — any attempt to sever this connection will diminish each component.
Our research covers many topics in the mathematical foundations of Computer Science, including Denotational Semantics, (Applied) Category Theory, Type Theory and Logic.
To achieve our research goals we use ideas from the following disciplines: