Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!
The VeriFixer team will present a new research paper this summer at ECOOP 2025, a leading international conference in programming languages and software engineering.
