Leonardo Passos

Leonardo is one of the primary auditors for L1 blockchains. He has a Ph.D in Electrical and Computer Engineering from the University of Waterloo for his work on mining patterns from the Linux kernel source code and other systems. He is a Microsoft research competition medalist, with industry experience in backend development, compilers, and scalable data pipelines.