Yaniv Sa'ar

Tel Aviv, Israel


I joined Bell Labs in Israel on July 2015. I received my Ph.D. in computer science from the Weizmann Institute, Israel in 2011, under the supervision of Amir Pnueli and Lenore Zuck. Between 2011 and 2012 I continued to a post doctorial position in David Harel’s research group at the Weizmann institute. My research interests include formal methods, compositional reasoning, LTL synthesis, software engineering, programming language theory. I also brings experience in the field of dynamic/functional verification and random generation from Cadence (former Verisity) where he worked until 2008. In my most recent position, I was a software architect at Mellanox, mainly focusing on virtualization and QoS related topics in the embedded NIC’s software and drivers.


  • 2011 - Ph.D., The Weizmann Institute of Science. Israel. "Algorithmic Methods for Formal Verification", Advisors Amir Pnueli and Lenore Zuck, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel.
  • 2005 - M.Sc., Ben-Gurion University, Israel. "Fair Simulation for Verifying Abstraction",  M.Sc. thesis, Advisors Yonit Kesten and Amir Pnueli, Department of Math and Computer Science at Ben-Gurion University, Beer Sheva, Israel.
  • 2002 - B.Sc., Math and Computer Science. Department of Math and Computer Science at Ben-Gurion University, Beer Sheva, Israel.


  • Low-Latency Processing in a Network Node.
    Shachar Raindel, Yaniv Sa'ar, Haggai Eran, Yishai Hadas, and Ari Zigler. U.S. Patent Number 13/717,733.
  • Routing Support for Lossless Data Traffic.
    Ariel Almog, Yaniv Sa'ar, Aviad Raveh, and Dror Goldenberg. U.S. Patent Number 14/247,255