Yuval Zalmenson

Yuval Zalmenson is a highly skilled technology professional with extensive experience in research and development across various sectors, including blockchain, cybersecurity, and software engineering. Currently, Yuval serves as the Head of R&D at Chaos Labs, having previously held leadership roles at Cyolo and Certora, where notable achievements included the development of a concolic rule-based fuzzer for Ethereum smart contracts. With a background that encompasses software development management at Amazon and VP of R&D at Spacemesh, Yuval has successfully led teams in creating innovative solutions for complex systems. Yuval's technical foundation is strengthened by a Master's degree in Computer Science from Reichman University and a Bachelor's degree in Mathematics and Computer Science from the Technion.