Two Amazon Research Awards on Automated Reasoning!
Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!
Alexandra was awarded an Amazon Research Award for her proposal “Overcoming Barriers to the Adoption of Verification-Aware Languages”, focusing on Dafny. João’s proposal is on “Polyglot Automated Program Repair for Infrastructure as Code”.
If you are looking for research positions on these topics, get in touch! We have several positions to offer. See also our opportunities page.
Many thanks to Amazon Science for supporting this research! It’s a recognition of the work that we do at the Software Reliability Lab!
You can read more about the program and see the full list of recipients here: 70 Amazon Research Award recipients announced
Learn more about the program on the Amazon Science website.
Related News and Mentions
- Official announcement: 70 Amazon Research Award recipients announced
- CMU Portugal Visiting Researchers won Amazon Research Award
- University of Porto (DEI, FEUP): Alexandra Mendes recognised with an “Amazon Research Award”
- Instituto Superior Técnico (DEI): DEI Professor wins Amazon Research Award in Automated Reasoning
- INESC-ID: João Ferreira wins Amazon Research Award for work on Automated Program Repair