Margarida Ferreira

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDEarly Stage Researcher
EntityInstituto Superior Técnico
DegreeMestrado Pos Bolonha
ORCID0000-0002-1170-5124

Contacts

Extension2387
Room328A
Emailmargaridaacferreira(at)tecnico.ulisboa.pt