Marcelo_Frias_ITBA.jpg

Marcelo Frias

Buenos Aires Institute of Technology
2021 Amazon Research Award
“Modular bounded verification with expressive contracts”