| |
|
This Centre within
the Institute of Mathematics and Applied Statistics
(IMAS) supports research and research-related activity
in pure mathematics, with the overall aim of maintaining
and promoting pure mathematics as a distinct focus of
research within the School, consistent with the terms
of reference of IMAS.
The Centre distributies
funds to members from its IMAS budget allocation. Members'
equipment requirements are generally modest, and the
funds are mainly used to facilitate contact between
members and other researchers, by subsidising members'
travel, visits to the School by other researchers, and
conference attendance. These forms of contact with external
researchers have been of great benefit to members over
many years.
The members of the Centre are:
The research carried out by members of the Centre includes
work in the following areas:
- lambda calculus
- combinatory logic
- type theory
- non-linear partial differential equations
- control theory
- harmonic analysis
- land transport
- randomness and chaos
- ergodic theory
- topological groups
- geometry
- geometric probability
- stereology
- topology and digital imaging
- neighbourhood lattices
Further detail can be found on
individual members' web pages.
Apart from their work in pure mathematics, members of
the Centre have also collaborated significantly on applications
with members of other Centres within IMAS and with researchers
elsewhere. Members have, for example, worked:
- with mathematical modellers on the structure of
solution spaces for differential equations;
- with computer scientists on software verification;
- with computer scientists on authentication logics
and analysis of authentication protocols;
- with telecommunication engineeers on signal analysis;
- in mathematical biology; and
- on computer simulation of train movements.
Members' research
is published in mathematical and other journals of high
standing or, less frequently, in conference proceedings
(again see individual web pages for more detail). The
Centre provides the opportunity for supervision of higher
degrees by research, and devotes funds when possible
to research-oriented vacation scholarships for capable
students nearing the end of their undergraduate studies.
Updated Oct 05
|
|
|
| |
