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 keynotes announced for ISD 2023
Pedro Orvalho
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
Early Stage Researcher
Affiliation
R - INESC-ID Lisboa
Degree
Mestrado Pos Bolonha
ORCID
https://orcid.org/0000-0002-7407-5967
Main Interests
Program Repair; Program Synthesis; Automated Reasoning; Formal Methods; Artificial Intelligence
Extension
2387
Room
328A
Email
pmorvalho(at)inesc-id.pt
Personal Page
http://arsr.inesc-id.pt/~pmorvalho
});