Hernán Vanzetto

Hernán Vanzetto is currently working as an R&D Engineer at Informal Systems, focusing on CometBFT/Tendermint consensus engine and Model-Based Testing. Prior to this, Hernán has gained experience as a Software Engineer at companies like Rabobank, Ordina, and ASML, working on various back-end services, streaming platforms, and complex data-intensive applications. Hernán holds a Ph.D. in Informatics and has a strong background in distributed systems and formal verification, showcased through their work at Yale University and Microsoft Research-INRIA Joint Centre. Additionally, Hernán has experience in teaching and has completed internships at Inria and the University of Luxembourg.