Vasco Manquinho

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleResearcher
AffiliationD - Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
DegreeDoutoramento
ResearcherIDA-1774-2009
ORCID0000-0002-4205-2189

Phone213100204 (Portugal +351)
Extension2204
Room329
Emailvasco.manquinho(at)inesc-id.pt
Personal Pagehttp://sat.inesc-id.pt/~vmm