Carla Maria Gonçalves Ferreira

General Info

Research GroupSW Algorithms and Tools for Constraint Solving (SAT)
Action LineEmbedded Electronic Systems (EES)
Role in INESC-IDInvestigador Associado
EntityFaculdade de Ciências e Tecnologia da UNL
DegreeDoutoramento

Contacts

Phone214233287 (Portugal +351)
Room329
Emailcarla.ferreira(at)dei.ist.utl.pt
 
Personal Pagehttp://sat.inesc-id.pt/~cf/index.html