Example projects from across Imperial College London

weapons

Formal Verification of Treaty Processes

This project, in collaboration with a UK defence company, extends and combines mathematical modelling and verification approaches to make them cope with the inherent lack of available data in the domain of arms control treaty design and implementation.

PI: Professor Micahel Huth, Department of Computing

MSc Security and Resilience: Science and Technology.

Applications are currently open.

Find out more

General contact

Institute for Security Science and Technology
Level 2 Admin Office, Abdus Salam Library
Imperial College London
South Kensington Campus
London SW7 2AZ

securityscience@imperial.ac.uk

Phone: +44 (0) 20 7594 8864