|

Research Interests
-
Prof. Amir Amihood:
Pattern Matching Algorithms, Computational Biology, Knowledge Discovery in Databases, Real-Time Systems Algorithms
-
Prof. Aumann Yonatan:
Algorithms, Pattern matching, Computational Biology, Cryptography, Data and Text Mining, Parametrized Complexity
-
Prof. Dagan Ido:
Natural Language Processing, Computational Linguistics, Machine Learning, Information Retrieval - Search Engines, Text Categorization, Information Extraction
-
Dr. Frank Ariel:
Internet Resources Discovery, Digital Libraries and Search Engines; Distributed/Distance Education; Networked/Distributed Multimedia; Operating/Distributed Systems
-
Dr. Hassidim Avinatan:
Algorithms, Game Theory, Quantum Computing, Approximation Algorithms
-
Prof. Herzberg Amir:
Cryptography, network security, secure electronic commerce, secure usability, software security, network protocols, distributed algorithms, inter-vehicular networking, fault tolerance
-
Prof. Kaminka Gal:
Teams of Robots, Agents and People, Data Mining and Learning, Multi-Agent Systems, AI
-
Dr. Kaufman Tali:
Sub-linear Algorithms and Property Testing, Coding Theory, Graph Theory, Randomness in Computation, Approximation Algorithms, Combinatorics and Additive Combinatorics, Complexity Theory.
-
Prof. Klein Shmuel T.:
Data Compression, Information Retrieval, Text Processing, Algorithms
-
Prof. Koppel Moshe:
Machine learning, text categorization, authorship attribution
-
Prof. Kraus Sarit:
Artificial intelligent, multi-agent systems,negotiation and cooperation among agents, personalization, optimization of complex systems, electronic commerce, security of databases and systems, non-classical logics.
-
Prof. Lewenstein Moshe:
Algorithms, Pattern Matching, Data Structures, Approximation Algorithms.
-
Prof. Lindell Yehuda:
Theory of cryptography, secure multiparty computation
-
Prof. Netanyahu Nathan:
Algorithm design + analysis, computational geometry, image processing + pattern recognition; robust estimation; remote sensing
-
Prof. Peled Doron:
Concurrency theory, Formal Verification, Formal Specification, Semantics of Programming Languages, Model Checking, Finite Automata, Software Testing, Temporal Logics, Partial order methods and Traces.
-
Prof. Pinkas Benny:
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)
-
Prof. Porat Ely:
Design and analysis of algorithms, Pattern Matching, Data Compression, Algorithms for massive data sets, Approximation Algorithms, Data Structures, Automata Theory, Complexity, Combinatorics, The Probabilistic Method
-
Dr. Roditty Liam:
Graph Algorithms, Computational geometry, Dynamic algorithms, Algorithms for wireless networks.
-
Dr. Sarne David:
Autonomous Agents and Multi-Agent Systems, Intelligent Interfaces for Human-Computer Interaction, Large Scale Simulation Systems, Mechanism Design and Ecommerce
-
Dr. Weiss Joseph:
Optimization, Simulation, Mathematical Modeling, Transportation, Scheduling and Sequencing
|
|