Skip to content (access key 's')

Research

Research areas

research areas

Automata and Formal Languages

Nissim Francez|Michael Kaminski|Azaria Paz|Benny Kimelfeld|Orna Grumberg|Shaull Almagor|

Coding

Gala Yadgar|Abraham Lempel|Tuvi Etzion|Ronny Roth|Eitan Yaakobi|

Complexity

Ron Rothblum|Yuval Filmus|Reuven Bar-Yehuda|Nader Bshouty|Johann Makowsky|Yuval Ishai|Seffi Naor|Eldar Fischer|Eyal Kushilevitz|Michael Kaminski|

Computational Geometry

Gill Barequet|Reuven Bar-Yehuda|

Cryptology

Ron Rothblum|Eli Biham|Eyal Kushilevitz|Yuval Ishai|Erez Petrank|

Distributed Computing

Erez Petrank|Hagit Attiya|Roy Friedman|Shmuel Zaks|Keren Censor-Hillel|Assaf Schuster|

Logic and Semantics

Nissim Francez|Orna Grumberg|Michael Kaminski|Benny Kimelfeld|Shmuel Katz|Johann Makowsky|Eran Yahav|Shaull Almagor|

Theory of Algorithms

Erez Petrank|Keren Censor-Hillel|Gill Barequet|Reuven Bar-Yehuda|Eldar Fischer|Alon Itai|Shlomo Moran|Seffi Naor|Azaria Paz|Roy Schwartz|Hadas Shachnai|Shmuel Zaks|Inbal Talgam-Cohen|Oren Salzman|

Database Theory

Benny Kimelfeld|Oded Shmueli|

Human-Computer Interaction

research areas

Databases and Data Mining

Assaf Schuster|Benny Kimelfeld|Oded Shmueli|Yossi Gil|

Distributed and Parallel Systems

Gala Yadgar|Hagit Attiya|Roy Friedman|Erez Petrank|Assaf Schuster|Dan Tsafrir|Eran Yahav|Yoav Etsion|

Hardware and Computer Architecture

Gala Yadgar|Zvi Kohavi|Ami Litman|Tal Mor|Yoav Etsion|Avi Mendelson|

Networks, Communication and Systems

Reuven Cohen|Ami Litman|Danny Raz|Ronny Roth|Shmuel Zaks|Ori Rottenstreich|

Programming Languages

Yossi Gil|Erez Petrank|Eran Yahav|Dan Tsafrir|Shachar Itzhaky|Hila Peleg|

Formal Methods and Verification of Software and Hardware System

Orna Grumberg|Michael Heymann|Shmuel Katz|Eran Yahav|Yakir Vizel|Shachar Itzhaky|

Software Engineering

Yossi Gil|Shmuel Katz|Eliezer Kantorowitz|Ron Y. Pinter|Roy Friedman|Eran Yahav|Shachar Itzhaky|Yakir Vizel|Hila Peleg|

Operating Systems & Virtualization

Assaf Schuster|Gala Yadgar|Dan Tsafrir|Yoav Etsion|Avi Mendelson|

Storage

Gala Yadgar|Erez Petrank|Assaf Schuster|Dan Tsafrir|Eran Yahav|Eitan Yaakobi|

System Security

Eli Biham|Eran Yahav|Dan Tsafrir|Yakir Vizel|

research areas

Machine Learning

Chaim Baskin|Yonatan Belinkov|Alon Itai|Yoram Baram|Nader Bshouty|Dan Geiger|Ran El-Yaniv|Michael Elad|Shaul Markovitch|Uzzi Ornan|Alexander Bronstein|Ron Kimmel|Kira Radinsky|Nir Rosenfeld|Yaniv Romano|

Logical and Probabilistic Reasoning

Dan Geiger|Michael Kaminski|Azaria Paz|Sarah Keren|

Neural Networks and Deep Learning

Chaim Baskin|Yonatan Belinkov|Ran El-Yaniv|Michael Elad|Alexander Bronstein|Yoram Baram|Avi Mendelson|Ron Kimmel|Nir Rosenfeld|Yaniv Romano|

research areas

Geometric Modeling

Chaim Baskin|Gill Barequet|Gershon Elber|Alexander Bronstein|Mirela Ben-Chen|Alfred M. Bruckstein|

Graphics

Gershon Elber|Craig (Chaim) Gotsman|Ron Kimmel|Mirela Ben-Chen|Alexander Bronstein|

Image Processing and Computer Vision

Chaim Baskin|Alfred M. Bruckstein|Michael Elad|Ron Kimmel|Michael Lindenbaum|Ehud Rivlin|Irad Yavneh|Alexander Bronstein|Irad Yavneh|Yaniv Romano|

Robotics and Complex Systems

Sarah Keren|Yoram Baram|Alfred M. Bruckstein|Michael Heymann|Ehud Rivlin|Oren Salzman|

Scientific Computation and Numerical Algorithms

Marius Ungarish|Michael Elad|Avraham Sidi|Irad Yavneh|Ron Kimmel|Alexander Bronstein|Dan Geiger|Mirela Ben-Chen|Yaniv Romano|

Biological Computation

research areas

Bioinformatics (Computer Science and Biology)

Dan Geiger|Shlomo Moran|Ron Y. Pinter|Tomer Shlomi|Zohar Yakhini|

Computational Linguistics and Natural Language Processing

Yonatan Belinkov|Benny Kimelfeld|Uzzi Ornan|Alon Itai|Nissim Francez|

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

Eli Biham|Tal Mor|Yoram Baram|

World Wide Web, Game Theory, Electronic Commerce, Crypto Currency, and Computational Finance

Ran El-Yaniv|Seffi Naor|Shaul Markovitch|Oded Shmueli|Inbal Talgam-Cohen|Nir Rosenfeld|