Researcher interests: Specification, verification, and synthesis of reactive systems. Modal and temporal logic. Automata on infinite objects. Concurrency. (Theoretical)
DEPARTMENT: Computer Science
Contact Business Development: Tamir Huberman

Selected Publications

Automata Theory and Model Checking (2018)| springer| Read more
Orna Kupferman, Shaull Almagor, Udi Boker
Formally Reasoning About Quality (2016)| JACM| Read more
Orna Kupferman, Rajeev Alur, Thomas A. Henzinger
Alternating-time temporal logic (2002)| JACM| Read more

Contact for more information:

Tamir Huberman
CIO
+972-2-6586678
Contact ME: