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 use finite state automata over infinite alphabets to model specifications and programs over infinite data domains. I am currently working on model-checking algorithms for such systems, based on the automata-theoretic approach, and on compositional verification for systems with data.