Mooly Sagiv
Mooly Sagiv is a professor and chair of Computer Sciences at Tel-Aviv University and a CEO and co-founder of Certora. He is a leading researcher in large-scale (inter-procedural) program analysis and one of the key contributors to shape analysis. His fields of interest include programming languages, compilers, abstract interpretation, profiling, pointer analysis, shape analysis, interprocedural dataflow analysis, program slicing, and language-based programming.
Sessions
Devcon 8 Opening Ceremony, where we'll set the stage for an incredible event ahead! Join us as we kick off four days of talks, workshops, and community gatherings in Mumbai. This session sets the scene for the days ahead introducing the host city, the venue, and everything the event has to offer.
Securing Ethereum in the age of AI: Challenges & Opportunities
We show how AI agents can turn informal requirements into formally verified Aave V4 spokes, using the Certora Prover as a correctness guardrail. Attendees will learn how “verified vibe coding” enables rapid development without trusting LLM-generated code to be correct.