Current position:
- A Marie Curie Postdoctoral Fellow at the Vienna University of Technology
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.