4th Annual International Cybersecurity Conference

September 14th-15th, 2014 Smolarz Auditorium, Tel Aviv University, Israel

Mooly Sagiv

mooly sagiv for website 2Professor of Computer Science at Tel Aviv University

Mooly Sagiv is Professor of Computer Science at Tel Aviv University.
His research focuses on program analysis and verification, in particular reasoning about imperative programs manipulating dynamic data structures. His current work includes shape analysis and reasoning about computerd networks. Sagiv is a recipient of a 2013 senior ERC research grant for Verifying and Synthesizing Software Composition.

Sagiv was a visiting professor at UC Berkeley and Stanford University in 2010-2011, and was a Postdoc with Tom Reps at The University of Wisconsin in 1994-1995. He spent 3 years at IBM as a researcher after earning his PhD from the Technion Israel in 1991.