Jorge dos Santos Oliveira

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityInesc-ID
DegreeDoutoramento

Contacts

Extension2324
Room435
Emailjorge.oliveira(at)ist.utl.pt