|
Welcome!
I am a post-doc in prof. Orna Kupferman's group.
I am also a member of the formal verification group at IBM Haifa
Research Lab.
Previously, I was a student at the Weizmann
Institute of Science. My Ph.D advisor
was Prof. Amir Pnueli.
Research
Most of my work is devoted to various questions in
formal specification and verification of finite and infinite reactive
systems. On the methodological side, logics, automata and games over infinite
words play a central role in this field of research.
Slightly more specific, I've
been (and still am) very much involved in the formulation of the IEEE
standard temporal logic PSL
and have studied its theoretical foundations. I am also interested in parameterized
systems, switched systems, vacuity, coverage and other metrics for system and
property assurance.
Publications
|
