ELVEN

About the Project

Elven - Expressive Logics for VErifying the Net

Acronym

ELVEN

Responsible

Vítor Santos Costa

Status

Closed

Starting Date

January 1, 2016

Ending Date

January 1, 2019

Effective End Date

January 1, 2019

Global Budget

€184,300.00

Funding

€65,537.00

Website

Datasheet

Members

Team Leaders

Vítor Santos Costa

Senior Researcher

Team Members

Pedro Carvalho Moreno

Ricardo Rocha

Senior Researcher

Vítor Santos Costa

Senior Researcher

Dissemination

INESC TEC has a unique and differentiating management model, improved over its 35 years of history. Reflecting its unique position between academia and industry, the management at INESC TEC carefully balances, in a hybrid model, the academic culture of scientific freedom and dialogue with a culture of efficiency and responsibility in management.

link for

Associated Centres

Advanced Computing Systems

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more. We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems. Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.