Pedro T. Monteiro

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityInstituto Superior Técnico
DegreeDoutoramento
ResearcherIDE-5113-2010
ORCIDhttps://orcid.org/0000-0002-7934-5495

Contacts

Phone213100320 (Portugal +351)
Extension2320
Room328-B
Emailpedro.monteiro(at)inesc-id.pt
 
Personal Pagehttp://pedromonteiro.org