About me

On  November 2023, I joined Arm to work on applying formal methods to Arm architectures.

On January 2021, I joined Facebook UK to develop bug finding tools.

On April 2020, Mellanox was acquired by Nvidia.

On 2 October 2018, I joined Mellanox Technologies to develop tools for electronics design automation.

During 10/2012-10/2018 I was an an Assistant Professor (lecturer) at the department of Computer Science of Ben-Gurion University of the Negev.

Before that I was a Postdoc researcher at the Center for Distributed and Grid Computing of University of Texas at Austin (UT), a member of the Intelligent Systems Group of Prof. Keshav Pingali.

Before that I was a Postdoc researcher at the Computer Science Department of the University of California Los Angeles (UCLA) on the team of Prof. Rupak Majumdar.

My alma mater is Tel-Aviv University where I earned my Ph.D. degree in Computer Science under the advisorship of Prof. Shmuel (Mooly) Sagiv.