Quantstamp
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.
This person is not in any offices