Research Areas
Name |
Research interests | |
|---|---|---|
| Prof. | Noa Agmon |
Planning in adversarial environments, algorithmic robotics, multi-robot systems, multiagent systems. |
| Prof. | Amihood Amir |
Multidimensional pattern matching as applied to text processing, computer vision and multimedia, computational biology |
| Dr. | Yael Amsterdamer |
Databases, Management of web data and online knowledge bases, big data, crowdsourced data management. |
| Prof. | Yonatan Aumann |
Algorithms, parallel algorithms, cryptography, distributed systems |
| Prof. | Ido Dagan |
Natural language processing, machine learning and statistical methods, information retrieval and text analysis |
| Dr. | Ester Ezra | |
| Dr. | Ariel Frank |
Distributed education, internet resources discovery, distributed multimedia, , digital libraries |
| Prof. | Yoav Goldberg |
Natural language processing, syntactic processing and parsing, machine translation, Hebrew NLP, machine learning and structured prediction |
| Prof. | Avinatan Hassidim |
Algorithms, Game Theory, Quantum Computing, Approximation Algorithms |
| Prof. | Gal Kaminka |
Teams of Robots, Agents and People, Data Mining and Learning, Multi-Agent Systems, AI |
| Prof. | Tali Kaufman |
Sub-linear Algorithms and Property Testing, Coding Theory, Graph Theory, Randomness in Computation, Approximation Algorithms, Combinatorics and Additive Combinatorics, Complexity Theory. |
| Dr. | Joseph Keshet |
Machine learning; Speech recognition; Audio, speech and language processing |
| Prof. | Shmuel T. Klein |
Data Compression, Information Retrieval, Text Processing, Algorithms |
| Dr. | Tsvi Kopelowitz |
Algorithms in dynamic network graphs, Algorithms in distributed computing, Dynamic data structures Conditional lower bounds and fine-grained complexity, Pattern matching |
| Prof. | Sarit Kraus |
Intelligent systems, automatic negotiations, user interfaces, decision support tools, nonmonotonic explanation, knowledge bases |
| Prof. | Moshe Lewenstein |
Algorithms, Approximation Algorithms, Pattern Matching, Data structures |
| Prof. | Yehuda Lindell |
Cryptography, Secure Protocols, Theoretical Foundations
|
| Prof. | Nathan Netanyahu |
Algorithm design + analysis, computational geometry, image processing + pattern recognition; robust estimation; remote sensing |
| Prof. | Doron Peled |
Formal methods, formal verification, model-checking, software testing, software engineering, mathematical logic, automata and formal languages, semantics of programming languages, development and experiments with software analysis systems. |
| Prof. | Benny Pinkas |
Design and analysis of solutions to applied security problems using the methods of the theory of cryptography, with a focus on secure multi-party computation. (Cryptography Computer and Communications security Privacy) |
| Dr. | Tanya Plotkin | |
| Prof. | Ely Porat |
Analysis of Algorithms, Complexity Theory |
| Prof. | Liam Roditty |
Graph Algorithms, Computational geometry, Dynamic algorithms, Algorithms for wireless networks |
| Prof. | David Sarne |
Artificial Intelligence, human-computer interaction, automated negotiation, game theory, electronic commerce, multiagent systems
|
| Prof. | Reut Tsarfaty |
