Current position:

Education:

  • I have a B.Sc. in Computer Science from the Technion, Haifa, having graduated from the Technion Excellence Program.

  • My M.Sc. in Computer Science is also from the Technion, done under the supervision of Prof. Nissim Francez. The focus of my thesis was developing a Natural Logic inference system based on the Lambek calculus.

  • My Ph.D. in Computer Science is from Tel-Aviv University, under the supervision of Prof. Arnon Avron. My thesis was on non-deterministic logics and their applications in computer science and AI.