Vasco Miguel Gomes Nunes Manquinho

General Info

Research GroupSW Algorithms and Tools for Constraint Solving (SAT)
Action LineEmbedded Electronic Systems (EES)
Role in INESC-IDInvestigador Sénior
EntityDepartamento de Engenharia Informática
DegreeDoutoramento
ResearcherIDA-1774-2009
ORCID0000-0002-4205-2189

Contacts

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