João Filipe Rosado Gouveia

General Info

Research GroupSW Algorithms and Tools for Constraint Solving (SAT)
Action LineEmbedded Electronic Systems (EES)
Role in INESC-IDInvestigador Júnior
EntityFCT
DegreeMestrado Pos Bolonha
ORCID0000-0003-1852-2782

Contacts

Extension2387
Room328 A
Emailfilipe.gouveia(at)tecnico.ulisboa.pt