Toggle menu
+351213100300
info@inesc-id.pt
Research
Research Areas
Thematic Lines
Projects
Publications
Supervisions
People
Integrated Researchers
Early Stage Researchers
All Researchers
News & Events
News
Events
Awards
Interviews
Newsletter
Open Positions
Open Positions
About Us
About Us
Organization
Institutional Documents
Intelectual Property
Spin-Offs
Contacts
Home
Home
>
Nuno Lopes receives HiPEAC Tech Transfer Award 2022
Rui Abreu
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
Researcher
Degree
Agregação
ORCID
https://orcid.org/0000-0003-3734-3157
Phone
213100300 (Portugal +351)
Extension
2341
Room
328B
Email
rui.maranhao(at)inesc-id.pt
Personal Page
http://ruimaranhao.com/
});