Explore projects

ProVerif symbolic protocol verifier

Generates a bibliography for our website.

Tools to check the accuracy of mathematical functions

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

Recurrent network weight tuning

The AIDE project software development bundle

Gathers technical materials to follow on what has been learnt and what is to be learnt

Implements a JavaScript JSON weak-syntax reader and writer.