Amazon Research Awards 公布 2025 秋季 70 位获奖者，覆盖 11 国 49 所高校

Awardees represent more than 49 universities in 11 countries. Recipients have access to Amazon public datasets, along with AWS AI/ML services and tools.

Amazon Research Awards (ARA) provides unrestricted funds and AWS Promotional Credits to academic researchers investigating various research topics in multiple disciplines. This cycle, ARA received many excellent research proposals from across the world and today is publicly announcing 70 award recipients who represent 49 universities in 11 countries.

This announcement includes awards funded under 6 calls for proposals during the fall 2025 cycle: AI for Information Security, Agentic AI , Automated Reasoning, AWS Cryptography, Cybersecurity and Anti-Abuse Technologies, and Sustainability Proposals were reviewed for the quality of their scientific content and their potential to impact both the research community and society. Additionally, Amazon encourages the publication of research results, presentations of research at Amazon offices worldwide, and the release of related code under open-source licenses.

Recipients have access to more than 700 Amazon public datasets and can utilize AWS AI/ML services and tools through their AWS Promotional Credits. Recipients also are assigned an Amazon research contact who offers consultation and advice, along with opportunities to participate in Amazon events and training sessions.

"Fraud and abuse evolve at the speed of the technologies that bad actors exploit. Since we can only defend against what we can measure, the science of studying those technologies has to keep pace," said Dhruv Kuchhal, Applied Scientist, Special Projects & Invest-Fixed. "Through ARA, we bring together experts across industry and academia to tackle these problems upstream and publish defenses that systematically raise bad actors' operating costs and erode their ROI as they spread across the ecosystem. This not only strengthens Amazon, but the broader Web, including online shopping customers, sellers and brands who build businesses online, and the platforms and payment rails that tie them together. We were impressed by the quality and volume of proposals we received — a strong signal that the field is raising the bar for Web users everywhere — and we look forward to working with the new recipients to turn this research into lasting, ecosystem-wide improvements in fraud and abuse prevention."

“AI is reshaping cybersecurity faster than ever in advancing how we detect threats and defend systems, ”said Wei Ding, Applied Science Manager, GuardDuty, AWS. “At the same time, agentic AI requires stronger guarantees of safety, robustness, and trust worthiness. Since 2020, our team has funded security research that solves some of the biggest challenges for the industry. We’re pleased to continue our tradition of fostering innovation through these latest research projects addressing agentic AI security, AI-powered incident response, and threat detection in agentic AI systems and cloud environments, among other exciting areas.”

ARA funds proposals throughout the year in a variety of research areas. Applicants are encouraged to visit our call for proposals page for more information or send an email to be notified of future open calls.

The tables below list, in alphabetical order by last name, fall 2025 cycle call-for-proposal recipients, sorted by research

Exploit-driven AI Agents for vulnerability detection verification

Yue Zhao

University of Southern California

University of California Los Angeles

Breaking the Parallelism Limit with SAT-solving Accelerators

Lucas Cordeiro

The University of Manchester

University of California San Diego

Milos Gligoric

The University of Texas at Austin

Ronghui Gu

Columbia University in the City of New York

Tyler Josephson

University of Maryland Baltimore County

Autoformalization for Scientific Computing in Lean

Junyi Jessy Li

The University of Texas at Austin

Xiaorui Liu

North Carolina State University

Karlsruhe Institute of Technology

Ilya Sergey

National University of Singapore

Non-Markovian Agentic Meta-Reasoning

Armando Solar-Lezama

Massachusetts Institute of Technology

Verifying Rust distributed system implementations using monotonic ownership state machines in Verus

Worcester Polytechnic Institute

Muhao Chen

University of California Davis

Ioannis Demertzis

University of California Santa Cruz

Caiwen Ding

University of Minnesota Twin Cities

Ariel Felner

Ben-Gurion University of the Negev

Zhaomiao Guo

The University of Texas at Austin

Jiangen He

The University of Tennessee-Knoxville

Beyond Walls of Text: Building UI-Native LLM Agents as the Next Gateway to the Internet

Fan Lai

University of Illinois at Urbana-Champaign

National University of Singapore

New York University Abu Dhabi

Roni Stern

Ben-Gurion University of the Negev

University of Massachusetts Amherst

Yang Zhao

University of Minnesota Twin Cities

Victor Zhong

University of Waterloo

Sri AravindaKrishnan Thyagarajan

The University of Sydney

Daniel J. Bernstein

University of Illinois at Chicago

Formally verified symmetric cryptography

Pseudorandom Correlations for Threshold Cryptography

Massachusetts Institute of Technology

Enhancing AI Safety Using Cryptography

John Liagouris

Boston University

Pushing secure MPC beyond niche applications

Rafail Ostrovsky

University of California Los Angeles

Rachel Player

Royal Holloway - University of London

New Approaches for the Linear Transform in BFV/BGV

Elaine Shi

Carnegie Mellon University

Practical Secure Computation At Scale

Algorithms for Post-Quantum Cryptography

Jiaheng Zhang

National University of Singapore

Vassilis Zikas

Georgia Institute of Technology

Cybersecurity and Anti-Abuse Technologies

University of California San Diego

Detecting Anti-detect Browsers at Scale