He received his PhD degree from Tel Aviv University in 2008 under the supervision of Ran Raz (Weizmann Institute) and Nachum Dershowitz (Tel Aviv). He was awarded a postdoctoral fellowship by the Eduard Cech Center for Algebra and Geometry. He has been conducting extensive research on the foundations of computer science, computational complexity, satisfiability (in practice and theory), and applications of logic in computer