Toggle menu
+351213100300
info@inesc-id.pt
Research
Scientific Areas
Projects
Publications
Supervisions
Thematic Lines
Digital Transformation and Citizenship
Life and Health Technology
Energy Transition
Security and Privacy
People
Integrated Researchers
Early Stage Researchers
All Researchers
News & Events
News
Events
Awards
Distinguished Lectures
Talks
Newsletter
Open Positions
Open Positions
About Us
About Us
Organization
Intelectual Property
Spin-Offs
Contacts
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
});