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
EntityInesc-ID
DegreeMestrado Pos Bolonha
ORCID0000-0003-1852-2782

Contacts

Phone925798878 (Portugal +351)
Extension2267
Room328 A
Emailfilipe.gouveia(at)tecnico.ulisboa.pt