Greetings
Follow
Leonardo Alt
Entrepreneur
Mongolia
About
Leonardo Alt is an accomplished Formal Verification Lead and Compiler Engineer, bringing his expertise to the forefront of groundbreaking developments in the blockchain industry. With a career deeply rooted in technology and innovation, Leonardo currently serves as a pivotal member of the Ethereum Foundation. Leonardo's journey in the world of formal verification and compiler engineering has been marked by a relentless pursuit of excellence. His work encompasses the intricate complexities of blockchain technology, where he plays a pivotal role in ensuring the security, reliability, and robustness of Ethereum's smart contracts and core infrastructure.
Experience
Role not set