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
Ricardo Brancas
Unit
Automated Reasoning and Software Reliability (ARSR)
Role
Early Stage Researcher
Affiliation
R - INESC-ID Lisboa
Degree
Licenciatura Pos Bolonha
Extension
2341
Room
328A
Email
ricardo.brancas(at)inesc-id.pt
Personal Page
https://www.ricardobrancas.com/
});