Toggle menu
Research
Research Areas
Thematic Lines
Projects
Publications
Supervisions
People
Integrated Researchers
Early Stage Researchers
All Researchers
Open Positions
Open Positions
News & Events
News
Events
Interviews
Awards
Newsletter
About Us
About Us
Organization
Institutional Documents
Intelectual Property
Spin-Offs
Contacts
Home
Home
>
Two new exploratory projects led by INESC ID supported under the CMU Portugal Program
Pedro T. Monteiro
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
Researcher
Affiliation
Instituto Superior Técnico
Degree
Doutoramento
ResearcherID
E-5113-2010
ORCID
https://orcid.org/0000-0002-7934-5495
Phone
213100320 (Portugal +351)
Extension
2320
Room
328-B
Email
pedro.monteiro(at)inesc-id.pt
Personal Page
http://pedromonteiro.org
});