João F. Ferreira

General Info

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

Contacts

Phone213100397 (Portugal +351)
Extension2397
Room435
Emailjoaofernandoferreira(at)tecnico.ulisboa.pt
 
Personal Pagehttps://joaoff.com/