The Formal Methods group has a very broad span of interests, ranging from developing the new mathematics of computational behaviour, to the study and development of system design and verification methods.