Daniel Rosa Ramos
General Info
Group | Automated Reasoning and Software Reliability (ARSR) |
Role in INESC-ID | Early Stage Researcher |
Entity | Inesc-ID |
Degree | Mestrado Pos Bolonha |
Contacts
Extension | 2394 |
Room | 320 |
daniel.r.ramos(at)tecnico.ulisboa.pt |
Group | Automated Reasoning and Software Reliability (ARSR) |
Role in INESC-ID | Early Stage Researcher |
Entity | Inesc-ID |
Degree | Mestrado Pos Bolonha |
Extension | 2394 |
Room | 320 |
daniel.r.ramos(at)tecnico.ulisboa.pt |