Margarida Ferreira

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
AffiliationInstituto Superior Técnico
DegreeMestrado Pos Bolonha
ORCIDhttps://orcid.org/0000-0002-1170-5124

Extension2387
Room328A
Emailmargaridaacferreira(at)inesc-id.pt