Homepage
Antonio Morgado
Professor at IST, University of Lisbon.
Integrated researcher at ARSR, INESC-ID Lisbon.
Research Interests
Formal Methods | Automated Reasoning | Logic-based Explainability
Publications can be found in the previous profiles.
Contacts
Emails
Research: ajrmorgado[a.t]inesc-id.pt
Academic: antonio.reis.morgado[a.t]tecnico.ulisboa.pt
Address
Rua Alves Redol, 9
1000-029 Lisboa
Portugal
Tel. +351.213.100.300