Award DEI Professor wins Amazon Research Award in Automated Reasoning Thursday, June 12, 2025 3:18 PM Amazon Research Award João Ferreira
