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
Vasco Manquinho
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
Researcher
Affiliation
Departamento de Engenharia Informática
Degree
Doutoramento
ResearcherID
A-1774-2009
ORCID
0000-0002-4205-2189
Phone
213100204 (Portugal +351)
Extension
2204
Room
329
Email
vasco.manquinho(at)inesc-id.pt
Personal Page
http://sat.inesc-id.pt/~vmm
});