Uri Kirstein

Certora · company speakers →

Is this you? Claim this profile →

No public contact links on file.

Speaking history

Ethereum Community Conference

12 April 2027 Cannes, France “Best of both fuzzing and formal verification: introducing Bounded Model Checking”

Sectors

software_saas

Sourcing speakers for your event?

Browse the speaker directory →