The Centre's objective is to pursue fundamental, long-term research in formal methods, software security, and the application of Computer Science research to the Sciences.
Tools for Proofs
Secure Distributed Computations and their Proofs
4D Cardiac MR Images
On Wednesday 26 September 2012, we celebrate arrival of Laurent Massoulié as the new director ...