I am a faculty member in the Department of
Computer Science, Bar Ilan University. Before coming to Bar Ilan, I
was a postdoctoral researcher in Clark Barrett's group at
Stanford University. Before that, I was a Ph.D. student under the
supervision of Arnon Avron at Tel Aviv
University.