Details of Grant 

EPSRC Reference:	EP/T026952/1
Title:	AISEC: AI Secure and Explainable by Construction
Principal Investigator:	Komendantskaya, Professor E
Other Investigators:	Rieser, Professor V
Researcher Co-Investigators:
Project Partners:	Boston University Hebrew University of Jerusalem Horiba Mira Ltd HuggingFace Inc. Imandra Leiden University NEC Norwegian Defence Research Establishment Robert Bosch GmbH Symphonic Software University of St Andrews
Department:	S of Mathematical and Computer Sciences
Organisation:	Heriot-Watt University
Scheme:	Standard Research
Starts:	01 September 2020	Ends:	01 May 2025	Value (£):	807,165
EPSRC Research Topic Classifications:	Artificial Intelligence Computational Linguistics Fundamentals of Computing Socio Legal Studies Software Engineering
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:	EP/T026960/1 EP/T027037/1
Panel History:	Panel Date Panel Name Outcome 19 Feb 2020 Security for all in an AI enabled society Panel February 2020 Announced
Summary on Grant Application Form
AI applications have become pervasive: from mobile phones and home appliances to stock markets, autonomous cars, robots and drones. As AI takes over a wider range of tasks, we gradually approach the times when security laws, or policies, ultimately akin to Isaac Asimov's "3 laws of robotics" will need to be established for all working AI systems. A homonym of Asimov's first name, the project AISEC (``Artificial Intelligence Secure and Explainable by Construction"), aims to build a sustainable, general purpose, and multidomain methodology and development environment for policy-to-property secure and explainable by construction development of complex AI systems. We will create and deploy a novel framework for documenting, implementing and developing policies for complex deep learning systems by using types as a unifying language to embed security and safety contracts directly into programs that implement AI. The project will produce a development tool AISEC with infrastructure (user interface, verifier, compiler) to cater for different domain experts: from lawyers working with security experts to verification experts and system engineers designing complex AI systems. AISEC will be built, tested and used in collaboration with industrial partners in two key AI application areas: autonomous vehicles and natural language interfaces. AISEC will catalyse a step change from pervasive use of deep learning in AI to pervasive use of methods for deep understanding of intended policies and latent properties of complex AI systems, and deep verification of such systems.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.hw.ac.uk