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.