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 modeling systems and temporal logic specifications as automata. Specifically, I use finite state automata over infinite words and on infinite alphabets in order to model specifications and programs over infinite data domains. I look for model-checking methods based on the automata-theoretic approach for such automata.