Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Research

Research areas

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 | N. Ailon | 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
research areas
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
research areas
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
research areas
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
research areas
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