Ghila Castelnuovo
Ghila Castelnuovo is R&D Director at Certora, the formal verification company behind the Certora Prover. Castelnuovo has written on making formal verification practical for smart contract security.
Ghila Castelnuovo is R&D Director at Certora, the formal verification company behind the Certora Prover. Castelnuovo has written on making formal verification practical for smart contract security.