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