Pedro T. Monteiro

General Info

GroupAutomated Reasoning and Software Reliability (ARSR)
Role in INESC-IDResearcher
EntityInstituto Superior Técnico
DegreeDoutoramento
ResearcherIDE-5113-2010
ORCID0000-0002-7934-5495

Contacts

Phone213100320 (Portugal +351)
Extension2320
Room328-B
EmailPedro.Tiago.Monteiro(at)tecnico.ulisboa.pt
 
Personal Pagehttp://pedromonteiro.org