Former Postdoctoral Students

• Dr. Ori Lahav Effectively Propositional Reasoning''. Currently faculty member at TAU.
• Dr. Aleksandr Karbyshev Property Guided Verification of Dynamically Evolving Systems
• Dr. Yaron Velner, Complexity of Network Verification

Current PhD Students

• Oded Padon
• Orr Tamir
• Kalev Alpernas
• Yotam Feldman (jointly with Dr. Sharon Shoham))
• Shelly Grossman (jointly with Prof. Noam Rinetzky)

Past PhD Students

• Dr. Nurit Dor. Chief Scientist Panaya Inc
• Dr. Ran Shacham. Inventor Amuse Toy & Game Development
• Professor Eran Yahav.Faculty member at the Computer Science Department Technion Israel
• Professor Noam Rinetzky. Faculty member at the School of Computer Science, Tel Aviv University
• Dr. Roman Manevich. Faculty member at the School of Computer Science, Ben Gurion University
• Dr. Greta Yorsh.Faculty Member at Queen Mary University London
• Dr. Tal Lev-Ami. Co-Founder at Cloudinary
• Dr. Ohad Shacham. Research Scientist in the Scalable Systems Research Group at Yahoo! Labs
• Dr. Guy Golan-Gueta Research Scientist in Vmware Research Group
• Dr. Omer Tripp Research Manager at Google Mountainviewli>
• Dr. Shachar Itzhaky Faculty member at the Technion

Current M.Sc.Students

• Marcelo Taube (jointly with Dr. Sharon Shoham)

Past M.Sc.Students

• Asya Frumklin. Technical Lead at Mobileye
• Yotam Feldman
• Shelly Grossman(jointly with Prof. Noam Rinetzky)
• Omer Anson
• Hila Pelegan
• Gilad Arnold. Google
  PhD at UC Berkeley under the supervision of Ras Bodik
• Ronny Morad. IBM Research Haifa
• Aharon Abadi. (jointly with Alex Rabinovich) IBM Research Haifa
• Daphna Amit
• Ron Ellenbogen. Senior Manager for ECM and Strategic Marketing at Orbotech
• Guy Erez.
• David Oren. (jointly with Yossi Matias) Google Israel
• Boris Litvin (jointly with Yossi Matias)
• Michael Pan.
• Yair Sade
• Alex Varshavsky.
• Michal Segalov (Google Mountainview)
• Ghila Castelnuovo