João Paulo Marques da Silva

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
DegreeAgregação
ResearcherIDC-9162-2009
ORCID0000-0002-6632-3086

Contacts

Phone213100341 (Portugal +351)
Room334/335
Emailjpms(at)tecnico.ulisboa.pt
 
Personal Pagehttp://web.ist.utl.pt/jpms/