I did M.Sc in the department of Computer Science at Ben Gurion University of the Negev (BGU).
My primary area of research was in the field of SAT solving and Constraint programming.

My advisor was Prof. Michael Codish.

Thesis

Publications

BEE Publications

Model-Based Diagnosis Publications

Research Tools

Tools I developed during my M.Sc in Computer Science: