Pedro Varela

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
AffiliationInesc-ID
DegreeMestrado Pos Bolonha

Phone213100387 (Portugal +351)
Extension2387
Room328A
Emailpedro.varela(at)inesc-id.pt