I am a senior lecturer at the Information Systems Department at the University of Haifa.
Previously I spent two years at the Technical University of Vienna as a Marie Curie Postdoctoral Fellow, working with the groups of Prof. Matthias Baaz and Prof. Agata Ciabattoni.
My Ph.D. in Computer Science from Tel-Aviv University was done under the supervision of Prof. Arnon Avron, on the topic “Non-deterministic logics and their applications”.
My M.Sc. in Computer Science from the Technion was done under the supervision of Prof. Nissim Francez, on the topic “Natural Logic inference system based on the Lambek calculus”.
My B.Sc. in Computer Science is also from the Technion, Haifa, where I have graduated from the Technion Excellence Program.