João Paulo Marques da Silva
General Info
Research Group | SW Algorithms and Tools for Constraint Solving (SAT) |
Action Line | Embedded Electronic Systems (EES) |
Role in INESC-ID | Investigador Sénior |
Entity | Departamento de Engenharia Informática |
Degree | Agregação |
ResearcherID | C-9162-2009 |
ORCID | 0000-0002-6632-3086 |
Contacts
Phone | 213100341 (Portugal +351) |
Room | 334/335 |
jpms(at)tecnico.ulisboa.pt | |
  | |
Personal Page | http://web.ist.utl.pt/jpms/ |