2017 research activities

Head Prof. Ronen Basri

Picture of Prof. Ronen Basri
Head

Prof. Ronen Basri

Office +972-8-934-2809

Overview

The principal interests of the department lie in the areas of computer science and applied mathematics. Research areas include (but are not limited to) algorithms, their design and analysis; biological applications, bioinformatics, system biology, biological modeling; computational complexity, probabilistic proof systems, hardness of approximation, circuit complexity, combinatorial games; computer vision, image processing; cryptography; differential equations; distributed and parallel computing; dynamical systems; fluid dynamics; logic of programs, specification methodologies; machine learning and mathematical statistics; numerical analysis; randomness and its relation to computation; robotics and motion control; visual perception and brain modeling.

The departmental computer facilities include multiple PCs, multiple unix servers, two Linux clusters with multiple nodes, and large data storage systems. In addition, the vision laboratories, robotics laboratories and computational biology laboratories have a combination of experimental equipment and large-scale computing clusters.

ScientistsShow details

  • Picture of Prof. Aviezri S. Fraenkel

    Prof. Aviezri S. Fraenkel

    Complementary sequences of integers, Fraenkel conjecture
    Collaboration with:  David Klein, Jamie Simpson
    Combinatorial game theory
    Collaboration with:  Urban Larsson, Lior Goldberg, Haiyan Li, Sanyang Liu, Wen An Liu , Udi Peled, Vladimir Gurvich, Clark Kimberling, Nhan B. Ho, Eric Duchene
    Numeration systems and theory of partitions
    Collaboration with:  George Andrews, James Sellers
    Judaic studies

    Homepage
  • Picture of Prof. Robert Krauthgamer

    Prof. Robert Krauthgamer

    Design and analysis of algorithms, including massive data sets, data analysis, and combinatorial optimization
    Embeddings of finite metric spaces, high dimensional geometry

    Homepage
  • Picture of Prof. Ran Raz

    Prof. Ran Raz

    Complexity Theory: In particular: Boolean circuit complexity, arithmetic circuit complexity, communication complexity, probabilistically checkable proofs, quantum computation and communication, randomness and derandomization.

    Homepage
  • Picture of Prof. Vered Rom-Kedar

    Prof. Vered Rom-Kedar

    Hamiltonian systems - theory and applications
    Collaboration with:  M. Radnovic, A. Rapoport, E. Shlizerman, D. Turaev
    Near-integrable systems
    The Boltzmann ergodic hypothesis and soft billiards.
    Chaotic scattering.
    Resonant surface waves.
    Perturbed nonlinear Schrodinger equation.
    Mathematical models of the hematopoietic system and their medical implications
    Collaboration with:  R. Malka, E. Shochat.
    Chaotic mixing of fluid flows
    Collaboration with:  R. Aharon, H. Gildor

    Homepage
  • Picture of Prof. Adi Shamir

    Prof. Adi Shamir

    Cryptography, cryptanalysis, electronic money, smartcard security, internet security, complexity theory, the design and analysis of algorithms.
  • Picture of Prof. Ehud Shapiro

    Prof. Ehud Shapiro

    Laying the Biological, Computational and Architectural Foundations for Human Cell Lineage Discovery
    Collaboration with:  E. Shapiro, V. Adalsteinsson, H. Brodi, M. Minden, R. Halaban, C. Klein, M. Meyerson, C. Wu, T. Zukerman, R. Shalom

    Homepage
  • Picture of Prof. Edriss S. Titi

    Prof. Edriss S. Titi

    Fluid Dynamics and geophysical flows
    Navier-Stokes, Euler and related geophysical models
    Turbulence theory
    Polymeric flows and non-Newtonian complex fluid
    Nonlinear Partial Differential Equations and Dynamical Systems
    Infinite-dimensional dynamical systems , Reduced dynamical systems, Numerical analysis of dissipative PDEs
    Limit behavior of fast and slow dynamics