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
- - Code and datasets
  - Amazon Nova
    
    Try Amazon’s frontier foundation models.
- - Code and datasets
  - Amazon Nova
    
    Try Amazon’s frontier foundation models.
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
- - Code and datasets
  - Amazon Nova
    
    Try Amazon’s frontier foundation models.
- - Code and datasets
  - Amazon Nova
    
    Try Amazon’s frontier foundation models.
Careers

Search

Amazon Research Awards

Amazon Research Awards

Latest news
Recipients
Rules
FAQs
Call for proposals
More

Peter Mueller (ETH Zurich).jpg

Award Recipient

Peter Müller

ETH Zurich

Social

website

2021 Amazon Research Award

Verification of Rust Programs against TLA+ Specifications

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