Toggle menu
Research
Research Areas
Thematic Lines
Projects
Publications
Supervisions
People
Integrated Researchers
Early Stage Researchers
All Researchers
Open Positions
Open Positions
News & Events
News
Events
Interviews
Awards
Newsletter
About Us
About Us
Organization
Institutional Documents
Intelectual Property
Spin-Offs
Contacts
Home
Home
>
INESC-ID researchers receive António Brandão Vasconcelos Award
Vasco Manquinho
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
Researcher
Affiliation
D - Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
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
});