Italian-American computer scientist, professor at Brown University.
Co-developed authenticated data structures with Michael Goodrich, providing cryptographic guarantees for data integrity in untrusted environments.
Pioneered authenticated skip lists and hash-based verification schemes used in certificate revocation, outsourced databases, and blockchain state proofs.
Research bridges computational geometry, graph drawing, and cryptography.
His authenticated dictionary construction directly informs how cyber verifies state commitments through polynomial-based proofs.