Rodrigo André Moreira Bernardo

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleIntern
AffiliationInstituto Superior Técnico
DegreeMestrado Pos Bolonha

Phone21000000 (Portugal +351)
Extension2326
Room328A
Emailrodrigo.bernardo(at)inesc-id.pt