Social
14111_Polikarpova_ARA_Photo-014111_00014882.jpg
Award Recipient

Nadia Polikarpova

University of California, San Diego
Social
2024 Amazon Research Award
Discovering and Proving Critical System Properties with LLMs
Research topic
Automated reasoning
View from space of a connected network around planet Earth representing the Internet of Things.
Get more from Amazon Science
Subscribe to our newsletter

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

Social