I am a PhD student at the Weizmann Institute of Science, advised by Prof. David Harel and Prof. Guy Katz from the Hebrew University in Jerusalem (co-supervising).

My research interests include Classical Specifications methods and behavioral programming, Deep Reinforcement Learning and the integration of both (CS, D-RL) in the context of reactive systems.

Spent about 30 years working for i-Logix, later Telelogic and IBM, developing modeling tools for engineers primarily in the Automotive and Aerospace industries.