You are here: Home › Research areas ›

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
  - E. Petrank
  - K. Censor- Hillel
  - N. Ailon
  - G. Barequet
  - E. Ben- Sasson
  - R. Bar- Yehuda
  - E. Fischer
  - A. Itai
  - S. Moran
  - S. Naor
  - A. Paz
  - R. Schwartz
  - H. Shachnai
  - S. Zaks
  - I. Talgam- Cohen
- Database Theory
  - B. Kimelfeld
  - O. Shmueli
Systems
- Databases and Data Mining
- Distributed and Parallel Systems
  - G. Yadgar
  - H. Attiya
  - R. Friedman
  - E. Petrank
  - A. Schuster
  - D. Tsafrir
  - E. Yahav
  - Y. Etsion
- Hardware and Computer Architecture
  - G. Yadgar
  - Z. Kohavi
  - A. Litman
  - T. Mor
  - Y. Etsion
  - A. Mendelson
- Networks, Communication and Systems
  - R. Cohen
  - A. Litman
  - D. Raz
  - R. Roth
  - S. Zaks
  - O. Rottenstreich
- Programming Languages
  - Y. Gil
  - E. Petrank
  - E. Yahav
  - D. Tsafrir
  - S. Itzhaky
- Software and Hardware Verification
- Software Engineering
  - Y. Gil
  - S. Katz
  - E. Kantorowitz
  - R. Pinter
  - R. Friedman
  - E. Yahav
  - S. Itzhaky
- Operating Systems & Virtualization
- Storage
- System Security
Artificial Intelligence Foundations
- Machine Learning
  - A. Itai
  - Y. Baram
  - N. Bshouty
  - R. El- Yaniv
  - M. Elad
  - S. Markovitch
  - U. Ornan
  - A. Bronstein
  - R. Kimmel
  - K. Radinsky
- Logical and Probabilistic Reasoning
  - M. Kaminski
  - A. Paz
Intelligent Systems and Scientific Computation
- Geometric Modeling
- Graphics
- Image Processing and Computer Vision
- Robotics and Complex Systems
- Scientific Computation and Numerical Algorithms
  - M. Ungarish
  - M. Elad
  - A. Sidi
  - I. Yavneh
  - R. Kimmel
  - A. Bronstein
  - M. Ben- Chen
- Biological Computation
  - Y. Baram
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
  - Y. Baram
- World Wide Web, Electronic Commerce, and Computational Finance

Research areas

Theory of Computer Science

Automata and Formal Languages

Coding

Complexity

Computational Geometry

Cryptology

Distributed Computing

Logic and Semantics

Theory of Algorithms

Database Theory

Systems

Databases and Data Mining

Distributed and Parallel Systems

Hardware and Computer Architecture

Networks, Communication and Systems

Programming Languages

Software and Hardware Verification

Software Engineering

Operating Systems & Virtualization

Storage

System Security

Artificial Intelligence Foundations

Machine Learning

Logical and Probabilistic Reasoning

Intelligent Systems and Scientific Computation

Geometric Modeling

Graphics

Image Processing and Computer Vision

Robotics and Complex Systems

Scientific Computation and Numerical Algorithms

Biological Computation

Interdisciplinary Research

Bioinformatics (Computer Science and Biology)

Computational Linguistics and Natural Language Processing

Quantum Information Processing (Computer Science, Electrical Engineering, Physics and Chemistry)

World Wide Web, Electronic Commerce, and Computational Finance