Dr Rip Sohan (Computer Laboratory, University of Cambridge)

Big data could mean big problems if results are outdated, wrong or inaccurate.  In this talk I will outline the problems of, and principles required to support guaranteed or reliable computing in future computation systems operating on big data with emphasis on reproducibility and verification.  I will also outline some of the work being carried out at the Cambridge University Computer Laboratory focused on providing support for guaranteed computing.