Toggle menu

+351213100300 info@inesc-id.pt

Research
Thematic Lines
People
News & Events
Open Positions
- Open Positions
About Us

Home

Home > Gonçalo Rodrigues

Automated Reasoning and Software Reliability

Group Coordinator

Rui Filipe Lima Maranhão de Abreu

ARSR

About Us
People
Publications
Supervisions
Projects

About INESC-ID

INESC-ID, “Instituto de Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer Engineering. INESC-ID mission is to produce added value to people and society, supporting the response of public policies to scientific, health, environmental, cultural, social, economic and political challenges. INESC-ID promotes cooperation between academia and industry by addressing research on daily life issues, such as healthcare, space, mobility, agri-food, industry 4.0, and smart grids. This high level of knowledge transfer is achieved through both competitive research projects and direct contracted research. Public and private entities have therefore access to a pool of knowledge, resources and services provided through the unique competencies available at the institution.

INESC-ID is supported by:

Contact Us

INESC-ID – Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa

INESC-ID headquarters
Rua Alves Redol, 9 – 1000-029 Lisboa – Portugal
+351. 213100300
info@inesc-id.pt

INESC-ID energy
Av. Rovisco Pais 1 – 1049-001 Lisboa – Portugal
+351. 218417287

INESC-ID taguspark
Avenida Professor Cavaco Silva,
Edifício IST – 2744-016 Porto Salvo – Portugal
+351. 214233508

Join our newsletter

* indicates required

GDPR Permissions

Subscriber consent

I consent to receiving email communications as mentioned below.

The data submitted through this form will be used exclusively for the sending of INESC-ID Newsletter, NEWS-ID, and will not, under any circumstances, be shared with third parties. If you choose to, you can easily unsubscribe from the newsletter by following the link presented in the footer. In that case, your data will be automatically deleted from our information system. If you need to update your contact information or clarify any questions related to the newsletter, please contact info@inesc-id.pt. By submitting this form, you give permission to the use of your personal data according to the conditions above.

We use Mailchimp as our marketing platform. By clicking below to subscribe, you acknowledge that your information will be transferred to Mailchimp for processing. Learn more about Mailchimp's privacy practices here.

© 2019, INESC-ID. All rights reserved | Terms of Use | Data Protection | Intranet | Scholarship regulations

});