Research Areas

Bioinformatics

• Bioinformatics
  D. Barash,  C. Keasar,  K. Kedem,  A. Melkman,  D. Tsur,  M. Ziv-Ukelson

Communication

• Communication Algorithms
  S. Dolev,  D. Hendler
• Future Internet
  Y. Dinitz

Computational geometry, graphics, and vision

• Computational geometry
  P. Carmi,  M. Katz,  K. Kedem
• Computational vision
  O. Ben-Shahar
• Computer graphics
  O. Ben-Shahar,  J. El-Sana,  A. Sharf

Distributed computing

• Communication networks
  S. Dolev,  M. Elkin
• Contention-aware metrics and algorithms
  D. Hendler
• Distributed algorithms and systems
  Y. Dinitz,  S. Dolev,  D. Hendler
• Dynamic load balancing
  D. Hendler
• Fault-tolerance and automatic recovery
  S. Dolev

Intelligent systems

• Artificial Intelligence
  M. Balaban,  R. Brafman,  M. Elhadad,  A. Meisels,  E. Shimony,  M. Sipper
• Computational linguistics
  M. Elhadad
• Computer music
  M. Balaban
• Constraints, Timetabling, Distributed constraints
  E. Gudes,  A. Meisels
• Data Mining
  E. Gudes,  E. Shimony
• Evolutionary computation
  M. Sipper
• Learning
  R. Brafman,  A. Kontorovich,  E. Shimony,  M. Sipper
• Planning and reasoning
  M. Balaban,  R. Brafman,  E. Shimony
• Robotics
  E. Shimony,  M. Sipper,  G. Weiss

Systems and Programming languages

• Data security
  E. Gudes
• Databases and storage systems
  E. Bachmat,  M. Balaban,  D. Deutch,  E. Gudes
• Programming languages
  M. Codish,  M. Goldberg
• Software engineering and verification
  M. Balaban,  D. Deutch,  G. Weiss
• Web data management
  D. Deutch

Theory

• Algorithms
  D. Berend,  Y. Dinitz,  S. Dolev,  M. Elkin,  M. Katz,  A. Melkman,  O. Neiman,  K. Nissim ,  D. Tsur,  M. Ziv-Ukelson
• Complexity
  A. Beimel,  M. Elkin,  K. Nissim
• Cryptography and security
  A. Beimel,  S. Dolev,  K. Nissim
• Logic and semantics
  U. Abraham,  M. Codish,  M. Goldberg,  G. Weiss