João F. Ferreira
General Info
Group | Automated Reasoning and Software Reliability (ARSR) |
Role in INESC-ID | Researcher |
Entity | Instituto Superior Técnico |
Degree | Doutoramento |
Contacts
Phone | 213100397 (Portugal +351) |
Extension | 2397 |
Room | 435 |
joaofernandoferreira(at)tecnico.ulisboa.pt | |
  | |
Personal Page | https://joaoff.com/ |