Toggle menu

+351213100300 info@inesc-id.pt

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

Home

Home > António Menezes Leitão honored with the Sasada Prize 2021

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 aims at being the main research center for combined Computer Science and Engineering (CSE) and Electrical and Computer Engineering (ECE) in Portugal, addressing a wide range of related fields, including: energy systems, control, signal processing, electronics (circuit design, quality, and test), embedded systems, networks, distributed systems, software engineering, algorithms, data management, bioinformatics, information systems, intelligent agents, human computer interfaces and graphics, and natural language processing.

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

});