Rui Abreu

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityUniversidade de Lisboa
DegreeAgregação
ORCIDhttps://orcid.org/0000-0003-3734-3157

Contacts

Phone213100300 (Portugal +351)
Extension2341
Room328B
Emailrui(at)computer.org
 
Personal Pagehttp://ruimaranhao.com/