Go Top
Skip to content (access key 's')
GENERAL INFO
About the Faculty
Magazine
CS Library
IT Services
Industrial Affiliates
Branding
Useful Links
Contact Info
PEOPLE
Faculty
Students
Staff
Phone Directory
Alumni
Faculty Positions
ACADEMICS
Courses
Teaching Schedule
Undergraduate Studies
Graduate Studies
RESEARCH
Research Areas
Research Labs & Centers
Theses & Tech Reports
EVENTS
Events
Colloquia & Seminars
Research
Research areas
Automata and Formal Languages
N. Francez
|
M. Kaminski
|
A. Paz
|
B. Kimelfeld
|
O. Grumberg
|
S. Almagor
Coding
G. Yadgar
|
A. Lempel
|
T. Etzion
|
R. Roth
|
E. Yaakobi
Complexity
R. Rothblum
|
Y. Filmus
|
R. Bar- Yehuda
|
N. Bshouty
|
J. Makowsky
|
Y. Ishai
|
S. Naor
|
E. Fischer
|
E. Kushilevitz
|
M. Kaminski
Computational Geometry
G. Barequet
|
R. Bar- Yehuda
Cryptology
R. Rothblum
|
E. Biham
|
E. Kushilevitz
|
Y. Ishai
|
E. Petrank
Distributed Computing
E. Petrank
|
H. Attiya
|
R. Friedman
|
S. Zaks
|
K. Censor- Hillel
|
A. Schuster
Logic and Semantics
N. Francez
|
O. Grumberg
|
M. Kaminski
|
B. Kimelfeld
|
S. Katz
|
J. Makowsky
|
E. Yahav
|
S. Almagor
Theory of Algorithms
E. Petrank
|
K. Censor- Hillel
|
G. Barequet
|
R. Bar- Yehuda
|
E. Fischer
|
A. Itai
|
S. Moran
|
S. Naor
|
A. Paz
|
R. Schwartz
|
H. Shachnai
|
S. Zaks
|
I. Talgam- Cohen
|
O. Salzman
Database Theory
B. Kimelfeld
|
O. Shmueli
Human-Computer Interaction
H. Peleg
Databases and Data Mining
A. Schuster
|
B. Kimelfeld
|
O. Shmueli
|
Y. Gil
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
|
H. Peleg
Formal Methods and Verification of Software and Hardware System
O. Grumberg
|
M. Heymann
|
S. Katz
|
E. Yahav
|
Y. Vizel
|
S. Itzhaky
Software Engineering
Y. Gil
|
S. Katz
|
E. Kantorowitz
|
R. Pinter
|
R. Friedman
|
E. Yahav
|
S. Itzhaky
|
Y. Vizel
|
H. Peleg
Operating Systems & Virtualization
A. Schuster
|
G. Yadgar
|
D. Tsafrir
|
Y. Etsion
|
A. Mendelson
Storage
G. Yadgar
|
E. Petrank
|
A. Schuster
|
D. Tsafrir
|
E. Yahav
|
E. Yaakobi
System Security
E. Biham
|
E. Yahav
|
D. Tsafrir
|
Y. Vizel
Machine Learning
Y. Belinkov
|
A. Itai
|
Y. Baram
|
N. Bshouty
|
D. Geiger
|
R. El- Yaniv
|
M. Elad
|
S. Markovitch
|
U. Ornan
|
A. Bronstein
|
R. Kimmel
|
K. Radinsky
|
N. Rosenfeld
|
Y. Romano
Logical and Probabilistic Reasoning
D. Geiger
|
M. Kaminski
|
A. Paz
|
S. Keren
Neural Networks and Deep Learning
Y. Belinkov
|
R. El- Yaniv
|
M. Elad
|
A. Bronstein
|
Y. Baram
|
A. Mendelson
|
R. Kimmel
|
N. Rosenfeld
|
Y. Romano
Geometric Modeling
G. Barequet
|
G. Elber
|
A. Bronstein
|
M. Ben- Chen
|
A. Bruckstein
Graphics
G. Elber
|
C. Gotsman
|
R. Kimmel
|
M. Ben- Chen
|
A. Bronstein
Image Processing and Computer Vision
R. Kimmel
|
M. Lindenbaum
|
E. Rivlin
|
I. Yavneh
|
A. Bronstein
|
I. Yavneh
|
Y. Romano
Robotics and Complex Systems
S. Keren
|
Y. Baram
|
A. Bruckstein
|
M. Heymann
|
E. Rivlin
|
O. Salzman
Scientific Computation and Numerical Algorithms
M. Ungarish
|
M. Elad
|
A. Sidi
|
I. Yavneh
|
R. Kimmel
|
A. Bronstein
|
D. Geiger
|
M. Ben- Chen
|
Y. Romano
Biological Computation
Y. Baram
Bioinformatics (Computer Science and Biology)
D. Geiger
|
S. Moran
|
R. Pinter
|
T. Shlomi
|
Z. Yakhini
Computational Linguistics and Natural Language Processing
Y. Belinkov
|
B. Kimelfeld
|
U. Ornan
|
A. Itai
|
N. Francez
Quantum Information Processing (Computer Science, Electrical Engineering, Physics and Chemistry)
E. Biham
|
T. Mor
|
Y. Baram
World Wide Web, Game Theory, Electronic Commerce, Crypto Currency, and Computational Finance
R. El- Yaniv
|
S. Naor
|
S. Markovitch
|
O. Shmueli
|
I. Talgam- Cohen
|
N. Rosenfeld