Research areas

Theory of Computer Science
- Automata and Formal Languages
- Coding
- Complexity
- Computational Geometry
  - G. Barequet
  - R. Bar- Yehuda
- Cryptology
- Distributed Computing
- Logic and Semantics
- Theory of Algorithms
  - K. Censor- Hillel
  - N. Ailon
  - G. Barequet
  - E. Ben- Sasson
  - R. Bar- Yehuda
  - E. Fischer
  - A. Itai
  - S. Moran
  - S. Naor
  - A. Paz
  - H. Shachnai
  - S. Zaks
Systems
- Databases and Data Mining
- Distributed and Parallel Systems
  - H. Attiya
  - R. Friedman
  - E. Petrank
  - A. Schuster
  - D. Tsafrir
  - E. Yahav
  - Y. Etsion
- Hardware and Computer Architecture
  - Z. Kohavi
  - A. Litman
  - T. Mor
  - Y. Etsion
- Networks, Communication and Systems
  - R. Cohen
  - A. Litman
  - D. Raz
  - R. Roth
  - S. Zaks
- Programming Languages
  - Y. Gil
  - E. Petrank
  - E. Yahav
  - D. Tsafrir
- Software and Hardware Verification
- Software Engineering
  - Y. Gil
  - S. Katz
  - E. Kantorowitz
  - R. Pinter
  - R. Friedman
  - E. Yahav
- Operating Systems & Virtualization
- Storage
- System Security
Artificial Intelligence
- Learning
  - A. Itai
  - Y. Baram
  - N. Bshouty
  - D. Geiger
  - R. El- Yaniv
  - M. Elad
  - S. Markovitch
  - U. Ornan
- Reasoning
Intelligent Systems and Scientific Computation
- Geometric Modeling
  - G. Barequet
  - G. Elber
- Graphics
- Image Processing and Computer Vision
- Robotics and Complex Systems
- Scientific Computation and Numerical Analysis
  - M. Ungarish
  - M. Elad
  - A. Sidi
  - I. Yavneh
  - R. Kimmel
Interdisciplinary Research
- Bioinformatics (Computer Science and Biology)
- Computational Linguistics and Natural Language Processing
- Quantum Information Processing (Computer Science, Electrical Engineering, Physics and Chemistry)
  - E. Biham
  - T. Mor
- World Wide Web, Electronic Commerce, and Computational Finance