Alessandro Coglio

Alessandro Coglio is a Research Engineer at Provable. His work is focused on formal methods and their application to a variety of domains, including blockchain, programming languages, virtual machines, and binary code.