The program is given in Hebrew Program Objectives Ongoing developments in the field of information technologies are enabling the creation
Programs
Academic Staff
Prof. Ofer Strichman received his Ph.D. in Computer Science from the Weizmann Institute of Science in 2001, under the supervision
News
04.08.21
The 2021 CAV Award recognizes the “pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories
Research
Operations Management Prof. Boaz Golany Prof. Yale T. Herer Prof. Avishai Mandelbaum Prof. Eitan Naveh Prof. Galit Yom-Tov Prof. Noa
Probability Theory Prof. Emeritus Haya Kaspi Prof. Oren Louidor Prof. Leonid Mytnik Stochastic Models Prof. Emeritus Haya Kaspi Prof. Oren
