Leumi Chair of Science
TECHNION – Israel Institute of Technology
Computer Science Department
Technion City – Haifa 32000 – Israel
Phones: Ofc: +972-4-829-4327 Sec: +972-4-8294314
- Computer-aided verification of software and hardware
- Abstraction, refinement and counterexamples
- Temporal logics
- Equivalences and preorders
- Distributed Model checking
- Static analysis and model checking
- Coverage and vacuity
- SAT-based model checking
- Games for model checking
- Symbolic Trajectory Evaluation (STE)
- Automata on infinite objects
Conference Organization and Chairing:
Together with Helmut Veith, I organized the workshop on 25 Years of Model Checking (25MC), held as part of CAV’06, in Seattle, on August 16, 2006.
The proceedings appears in LNCS 5000
.Together with Michael Huth, I co-chaired the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07), held in Braga, Portugal, March 26-30, 2007.
Together with Dr. Limor Fix from Intel, Haifa, I taught during the first semester of 2000-2001 the course
Efficient Solutions for the Propositional SAT Problem and Their Application to Formal Verification
Together with Dr. Karen Yorav, Galileo Technology, Haifa, I taught during the second semester of 2002 a course on parallel and distributed model checking.