Two faculty members from the Cornell Ann S. Bowers College of Computing and Information Science have received Amazon Research Awards (ARA).
Fred Schneider, the Samuel B. Eckert Professor of Computer Science, and Alexandra Silva, professor of computer science, were among 79 awardees representing 54 universities in 14 countries. Both were recognized in the Automated Reasoning category: Schneider’s research project is called “Using non-deterministic executable specifications to test properties that relate executions,” while Silva’s research project is called “Automated reasoning for correctness and incorrectness.”
Amazon Research Awards (ARA) provide unrestricted funds and AWS Promotional Credits to academic researchers investigating various research topics in multiple disciplines. Recipients have access to more than 300 Amazon public datasets and can use AWS artificial intelligence (AI) and machine learning (ML) services and tools through their AWS Promotional Credits.