João F. Ferreira

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityInstituto Superior Técnico
DegreeDoutoramento

Contacts

Phone213100341 (Portugal +351)
Extension2341
Room328B
Emailjff(at)inesc-id.pt
 
Personal Pagehttps://joaoff.com/