Dr. Tommaso Gagliardoni is a mathematician, cryptographer, and cybersecurity expert (CRYPTO, EUROCRYPT, ASIACRYPT, CCS, Black Hat Europe, etc.) He leads the Research Team at Horizen Labs, where he deals with zero-knowledge proofs and lambdas, rather than with zero-proof knowledge and lambos.