Social
Haniel Barbosa (Universidade Federal de Minas Gerais).png
Award Recipient

Haniel Barbosa

Universidade Federal de Minas Gerais
Social
2021 Amazon Research Award
Efficient Checking and Reconstruction of SMT Proofs
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