Maria Christakis is a full professor and head of the research unit Software Engineering at the Institute of Information Systems Engineering. She won the Amazon Research Award for her project proposal “Testing Dafny for Unsoundness and Brittleness Bugs”.

Laura Kovács is a full professor and head of the research unit Formal Methods in Systems Engineering at the Institute of Logic and Computation. Her winning project proposal is titled “QuAT: Quantifiers with Arithmetic Theories are Friends with Benefits”.

About Amazon Research Awards

Amazon Research Awards (ARA) are structured as one-year unrestricted gifts and provide funds and AWS Promotional Credits to academic researchers investigating various research topics in multiple disciplines. In the Fall 2023 call, proposals on AI for Information Security, Automated Reasoning, AWS AI, AWS Cryptography and Privacy, AWS Database Services, and Sustainability are funded. Recipients can access more than 300 Amazon public datasets and utilize AWS AI/ML services and tools through their AWS Promotional Credits. Recipients are also assigned an Amazon research contact who offers consultation, advice, and opportunities to participate in Amazon events and training sessions. This cycle, ARA announced 98 award recipients representing 51 universities in 15 countries.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.