TUW secures two Amazon Research Awards

The Amazon Research Awards (ARA) offer unrestricted funds and AWS Promotional Credits to academic researchers exploring a range of topics across multiple disciplines. It aims to fund research that is not only of high scientific quality but also has the potential to make significant contributions to both the research community and wider society. In 2024, 98 recipients from 51 universities in 15 countries were announced as award winners.


Maria Christakis has received an award for her research, “Testing Dafny for Unsoundness and Brittleness Bugs,” and Laura Kovacs has been recognized for her study, “QuAT: Quantifiers with Arithmetic Theories are Friends with Benefits”. Both have been honored in the category of Automated Reasoning.