Mooly (Shmuel) Sagiv is a Professor in the School of Computer Science at Tel Aviv University, Israel.

Research Interests: my research focuses broadly on easing the task of developing reliable and efficient programs via program analysis.

Current Research Projects include:

• Shape Analysis. Inferring Properties of programs manipulating dynamically allocated data structures and pointers.
• Effective Programming with Relations. Compiling Programs with Relations into low level programs manipulating dynamically allocated data structures and pointers.
• Composing Concurrent Libraries. Easing the task of writing correct and efficient concurrent software using sophisticated libraries.