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

Award Recipient

Alexandra Mendes

University of Porto

Social

website
googlescholar

2024 Amazon Research Award

Overcoming Barriers to the Adoption of Verification-Aware Languages

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