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.
Article text (excluding photos or graphics) available under an Attribution-NonCommercial-ShareAlike Creative Commons license.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.
Reporter
Royston Ingram
Department of Computing
Contact details
Email: press.office@imperial.ac.uk
Show all stories by this author
