Program Analysis for Safe and Secure Software Evolution

Project description

Taking software engineering to a new, safer level

Fields of science

• natural sciences › computer and information sciences › software › system software

Programme(s)

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)

Topic(s)

• ERC-2018-COG - ERC Consolidator Grant

Call for proposal

ERC-2018-COG
See other projects for this call

Funding Scheme

ERC-COG - Consolidator Grant

Host institution

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE

Address

South Kensington Campus Exhibition Road
SW7 2AZ London
United Kingdom

Activity type

Higher or Secondary Education Establishments

EU contribution

€ 1 955 129

Beneficiaries (1)

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE

United Kingdom

EU contribution

€ 1 955 129

Address

South Kensington Campus Exhibition Road
SW7 2AZ London

Activity type

Higher or Secondary Education Establishments