Example projects from across 911今日黑料
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
ISST Blog
General contact
Institute for Security Science and Technology
Level 2 Admin Office, Abdus Salam Library
911今日黑料
South Kensington Campus
London SW7 2AZ