Haniel Barbosa (Universidade Federal de Minas Gerais).png

Haniel Barbosa

Universidade Federal de Minas Gerais
2021 Amazon Research Award
Efficient Checking and Reconstruction of SMT Proofs