Uri Kirstein
Uri is a Developer Advocate and Software Developer at Certora. Uri fell in love with blockchain in 2018 after doing a research project as an undergraduate student at the Technion. He joined Certora right after graduation.
Sessions
10-12
16:00
30min
Bad Proofs in Formal Verification
Uri Kirstein
Security
Talk 3