I am a Ph.D. student under the supervision of Prof. Orna Grumberg and Dr. Sarai Sheinvald.
I am interested in the intersection between the fields of formal verification, logics and automata theory. My research focuses on systems and specifications over infinite data domains. I investigate LTL (Linear Temporal Logic) with variables and algorithms for verification and synthesis of such formulas. In addition, I am working on compositional verification and repair of systems with data.
I am also taking part in CAVlinks, a sharing platform for the Computer-Aided Verification community. Take a look!