Mooly Sagiv

Professor Mooly Sagiv is a Chair of Software Systems at the School of Computer Science, Tel Aviv University, focusing on static program analysis and formal verification. His work bridges automated theorem proving with abstract interpretation to develop practical techniques for verifying software systems.

• Key Research Areas: Static analysis, formal verification, abstract interpretation, and automated reasoning about distributed systems and smart contracts.
• Notable Contributions: Development of the IVY tool for distributed protocol verification and frameworks for dynamic information flow control in cloud applications.
• Scientific Recognition:
  • Fellow of the ACM
  • Best Paper Award at PLDI'12
• Recent Publications focus on binarized neural networks, stateful network verification, and liveness properties in infinite-state systems using decidable logic fragments.