I am a graduate student at the Technion (Israel Institute Of Technology) in the department of Computer Science. I study towards my Ph.d., under the supervision of Prof. Orna Grumberg and Prof. Assaf Schuster.

My research in Model Checking involves application of SAT for bounded model checking and Symbolic Trajectory Evaluation (STE), integration of BDD's and SAT solvers, circuit SAT solving and automatic refinement for (G)STE.

I hold a masters degree from the Technion's faculty of Computer Science, and a bachelors degree in 'Computer and Software Engineering' from the Technion's faculty of Electrical Engineering.

Teaching

  I currently am a teaching assistant in "Introduction to Software Verification"(236342).

  I have been a  teaching assistant in "Concurrent and Distributed Programming"(236370), "Introduction to Data Structures and Algorithms" (044268), "Compilation Methods" (046266).

  I also supervise a few projects in the Software Systems Lab and VLSI lab in EE, so undergraduate EE/CS students or graduate CS students are welcome to join us\suggest new ideas.