Community Research and Development Information Service - CORDIS

Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems

From 2018-10-01 to 2023-09-30, Grant Agreement signed

Project details

Total cost:

EUR 2 473 844

EU contribution:

EUR 2 473 844

Coordinated in:

United Kingdom

Call for proposal:

ERC-2017-ADGSee other projects for this call

Funding scheme:

ERC-ADG - Advanced Grant

Objective

Host Institution

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom

EU contribution: EUR 2 473 844


TRINITY LANE THE OLD SCHOOLS
CB2 1TN CAMBRIDGE
United Kingdom
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Beneficiaries

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom

EU contribution: EUR 2 473 844


TRINITY LANE THE OLD SCHOOLS
CB2 1TN CAMBRIDGE
United Kingdom
Activity type: Higher or Secondary Education Establishments

Contact the organisation

To know more

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top