José Fragoso Santos

General Info

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

Contacts

Phone213100363 (Portugal +351)
Extension2363
Room324-325
Emailjose.fragoso(at)tecnico.ulisboa.pt