Leading Imperial, Cambridge and Edinburgh Academics to design rigorous maths models for the construction of more robust and secure computer systems.

REMS: Rigorous Engineering for Mainstream Systems

Professor Philippa Gardner from the Department of Computing has teamed up with leading theory and systems researchers from Cambridge and Edingburgh Universities to establish an engineering mathematics synthesis for the construction of more robust and secure computer systems. The project, called REMS: Rigorous Engineering for Mainstream Systems,  will include developing more mathematically rigorous models, verification techniques, and engineering tools, that can be applied to the construction of full-scale mainstream computer systems including key infrastructures such as multiprocessors, programming languages, and operating systems. They will also couple this research with novel programming-languages and use it for verification support for future system-building. EPSRC have awarded the project a £5.5M grant to help fund this cutting edge research.