Mooly Sagiv is affiliated with Tel Aviv University in Israel and has contributed extensively to the field of computer science. Their research spans multiple subfields, with a strong focus on formal methods, security, and distributed systems.
The main field of study is Computer Science, encompassing various specialized domains. Their subfields of study include:
The primary topics covered in their work involve:
Several papers reflect the scope and depth of their research, including:
Frequent collaborators in their research include:
Publishing venues where Mooly Sagiv frequently appears include:
Mooly Sagiv was recognized as an ACM Fellow in 2015 for contributions to the theory and practice of automated analysis and verification of software.
Thomas Reps;Susan Horwitz;Mooly Sagiv
Mooly Sagiv;Thomas Reps;Reinhard Wilhelm
Mooly Sagiv;Thomas Reps;Reinhard Wilhelm
Mooly Sagiv;Thomas Reps;Reinhard Wilhelm
Mooly Sagiv;Thomas Reps;Susan Horwitz
Nurit Dor;Michael Rodeh;Mooly Sagiv
Thomas Reps;Susan Horwitz;Mooly Sagiv;Genevieve Rosay
Thomas Ball;Nikolaj Bjørner;Aaron Gember;Shachar Itzhaky
Susan Horwitz;Thomas Reps;Mooly Sagiv
Nina Narodytska;Shiva Prasad Kasiviswanathan;Leonid Ryzhyk;Mooly Sagiv
Denis Gopan;Thomas Reps;Mooly Sagiv
Oded Padon;Kenneth L. McMillan;Aurojit Panda;Mooly Sagiv
Shelly Grossman;Ittai Abraham;Guy Golan-Gueta;Yan Michalevsky
Thomas Reps;Mooly Sagiv;Greta Yorsh
Tal Lev-Ami;Thomas Reps;Mooly Sagiv;Reinhard Wilhelm
Alexey Gotsman;Josh Berdine;Byron Cook;Noam Rinetzky
Noam Rinetzky;Jörg Bauer;Thomas Reps;Mooly Sagiv
Thomas Ball;Peter Mataga;Mooly Sagiv
Daphna Amit;Noam Rinetzky;Thomas Reps;Mooly Sagiv
Roman Manevich;E. Yahav;G. Ramalingam;Mooly Sagiv
If you think any of the details on this page are incorrect, let us know.
A Computer Science education unlocks diverse career possibilities beyond traditional programming roles. For students seeking closely related or interdisciplinary fields, numerous flexible online degree options are now available at affordable rates.
Those looking to explore the ever-growing tech security sector may benefit from a cyber security degree, which prepares graduates for roles in defending digital infrastructure. Similarly, leadership and technology skills intersect in construction management. An online construction management masters can lead to lucrative project management opportunities as technology transforms the building industry.
For those interested in law, technology, and societal safety, a criminal justice degree online cost comparison helps future professionals evaluate paths in cybersecurity, forensics, and law enforcement. Meanwhile, aspiring tech-driven accountants can boost career prospects by enrolling in comprehensive accounting classes online to develop advanced analytics and auditing skills.
These alternatives allow students to tailor their skills to rapidly evolving industries, expand career options, and pursue affordable, high-quality education online.
National University of Singapore
Institute for Atomic and Molecular Physics
Agricultural Research Service
The University of Texas at Austin
Stony Brook University
King's College London
Thomas Jefferson University
University College London
Brigham Young University
Purdue University West Lafayette
Max Planck Society
University College London
Nestlé (Switzerland)
University of Porto
Baylor College of Medicine
Tehran University of Medical Sciences
