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

Award Recipient

Aymeric Fromherz

Inria

Social

github

2024 Amazon Research Award

Extensible Proof Automation for Rust Program Verification in Lean using Aeneas

Research topic

Automated reasoning

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