Informal Systems
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.
This person is not in any offices
Informal Systems
Informal Systems offer research and development at the intersection of formal verification and distributed systems.