João Ferreira, researcher at INESC-ID’s Automated Reasoning and Software Reliability and Professor at Instituto Superior Técnico’s Department of Computer Science and Engineering (DEI), has been named one of the recipients of the Amazon Research Award (ARA) – Fall 2024, in…