Joao Cortes

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

Phone2341 (Portugal +351)
Extension2387
Room328A
Emailjoaooneillcortes(at)inesc-id.pt