The Formal Methods and Programming Research Group's activities span a wide range from theoretical aspects, including refinement and other semantic issues, to practical exploration of novel programming paradigms such as reversible imperative programming.
The group is internationally recognised as a centre of expertise in the B method and its members have served regularly on relevant programme committees. Amongst the group's most notable recent developments is an open-source prototype of a Forth Reversible Virtual Machine, downloadable from its web page.
In 2006, the group organised the first international symposium on Unifying Theories of Programming, which attracted most of the world's leading figures in the field.