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

Adam Chlipala_ARA

Award Recipient

Adam Chlipala

Massachusetts Institute of Technology

Social

website

2021 Amazon Research Award

Correct-by-Construction IoT Systems and Cloud Servers

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