Social
12221_Braberman_ARA_Photo-012221_00012481.png
Award Recipient

Victor Braberman

Universidad de Buenos Aires
Social
2023 Amazon Research Award
Abstractions for Validating Distributed Protocol Reference Implementations
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