Research
- Research areas
- Our scientific contributions
  - Publications
    
    Research from our scientists and collaborators.
  - Conferences
    
    Our experts present and discuss cutting-edge research at scientific meetings globally.
News & blog
- The latest from Amazon researchers
  - Amazon Science Blog
    
    Technical deep-dives and perspectives from our scientists.
  - News
    
    Research milestones and recent achievements.
- The latest from Amazon researchers
  - Amazon Science Blog
    
    Technical deep-dives and perspectives from our scientists.
  - News
    
    Research milestones and recent achievements.
Collaborations
- Amazon Research Awards
- Amazon Nova AI Challenge
  - Overview
  - Rules
  - FAQs
  - Teams
- Research collaborations
- Amazon Research Awards
- Amazon Nova AI Challenge
  - Overview
  - Rules
  - FAQs
  - Teams
- Research collaborations
Resources
Careers

Social

bluesky
threads
twitter
instagram
youtube
facebook
linkedin
github
rss

Research
- Research areas
- Our scientific contributions
  - Publications
    
    Research from our scientists and collaborators.
  - Conferences
    
    Our experts present and discuss cutting-edge research at scientific meetings globally.
- Research areas
- Our scientific contributions
  - Publications
    
    Research from our scientists and collaborators.
  - Conferences
    
    Our experts present and discuss cutting-edge research at scientific meetings globally.
News & blog
- The latest from Amazon researchers
  - Amazon Science Blog
    
    Technical deep-dives and perspectives from our scientists.
  - News
    
    Research milestones and recent achievements.
- The latest from Amazon researchers
  - Amazon Science Blog
    
    Technical deep-dives and perspectives from our scientists.
  - News
    
    Research milestones and recent achievements.
Collaborations
- Amazon Research Awards
- Amazon Nova AI Challenge
  - Overview
  - Rules
  - FAQs
  - Teams
- Research collaborations
- Amazon Research Awards
- Amazon Nova AI Challenge
  - Overview
  - Rules
  - FAQs
  - Teams
- Research collaborations
Resources
Careers

Search

Amazon Research Awards

Amazon Research Awards

Latest news
Recipients
Rules
FAQs
Call for proposals
More

Award Recipient

Alexandra Silva

Cornell University

Social

website

2022 Amazon Research Award

Automated reasoning for correctness and incorrectness

About
Research areas
Blog
Publications
Conferences
Code and datasets
Academia
Amazon News
Amazon Developer
Amazon Web Services
Awards and recognitions
Newsletter
Careers
FAQs

Get more from Amazon Science

Subscribe to our newsletter

Amazon.com | Conditions of Use | Privacy | © 1996-2026 Amazon.com, Inc. or its affiliates

Social

bluesky
threads
twitter
instagram
youtube
facebook
linkedin
github
rss