2024 research activities
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
-
Prof. Yonina Eldar
Signal and image processingCompressed sensingMedical imagingDeep learning and graphsCommunication, radar and remote sensingOptimization
Homepage
-
Prof. Uriel Feige
Algorithms and computational complexityCoping with NP-hard combinatorial optimization problemsAlgorithmic game theory
Homepage
-
Prof. Tamar Flash
Robotics, motor control and learning, movement disorders, computational neuroscience, virtual reality.
Homepage
-
Prof. Aviezri S. Fraenkel
Complementary sequences of integers, Fraenkel conjectureCollaboration with: David Klein, Jamie SimpsonCombinatorial game theoryCollaboration with: Urban Larsson, Lior Goldberg, Haiyan Li, Sanyang Liu, Wen An Liu , Udi Peled, Vladimir Gurvich, Clark Kimberling, Nhan B. Ho, Eric DucheneNumeration systems and theory of partitionsCollaboration with: George Andrews, James SellersJudaic studiesPatrolling the Border of a Striking ConjectureK-Pile Wythoff GamesStudy Mis`ere playthe complexity of P construction; SG-computation, which enables the play of several games simultaneously.
Homepage
-
Prof. Oded Goldreich
Randomness and ComputationProperty TestingProbabilistic proof systemsPseudorandomnessFoundations of CryptographyComplexity theory
Homepage
-
Prof. Robert Krauthgamer
Design and analysis of algorithms, including massive data sets, data analysis, and combinatorial optimizationEmbeddings of finite metric spaces, high dimensional geometry
Homepage
-
Prof. Yaron Lipman
Geometric modeling, geometry processing, shape analysis, computer graphics, Discrete differential geometry
Homepage
-
Prof. Boaz Nadler
Mathematical Statistics, Statistical Machine Learning, Statistical Signal and Image Processing, Applied Mathematics
Homepage
-
Prof. Vered Rom-Kedar
Hamiltonian systems - theory and applicationsCollaboration with: M. Radnovic, A. Rapoport, E. Shlizerman, D. TuraevNear-integrable systemsThe Boltzmann ergodic hypothesis and soft billiards.Chaotic scattering.Resonant surface waves.Perturbed nonlinear Schrodinger equation.Mathematical models of the hematopoietic system and their medical implicationsCollaboration with: R. Malka, E. Shochat.Chaotic mixing of fluid flowsCollaboration with: R. Aharon, H. Gildor
Homepage
-
Prof. Adi Shamir
Cryptography, cryptanalysis, electronic money, smartcard security, internet security, complexity theory, the design and analysis of algorithms.
-
Prof. Ehud Shapiro
Laying the Biological, Computational and Architectural Foundations for Human Cell Lineage DiscoveryCollaboration with: E. Shapiro, V. Adalsteinsson, H. Brodi, M. Minden, R. Halaban, C. Klein, M. Meyerson, C. Wu, T. Zukerman, R. Shalom
Homepage
-
Prof. Edriss S. Titi
Fluid Dynamics, Geophysical models, Oceanic and Atmopsheric DynamicsOceanic and atmospheric dynamics modelsTurbulence theoryData assimilation of weather and climate predictionMathematical models of cloud formationNonlinear Partial Differential Equations and Dynamical SystemsNavier-Stokes and Euler EquationsInfinite-dimensional dynamical systems , Reduced dynamical systems, Numerical analysis of dissipative PDEsLimit behavior of fast and slow dynamicsPolymeric flows and non-Newtonian complex fluid
-
Prof. Shimon Ullman
Vision, Computer vision, Image understanding, Brain theory, Artificial intelligence.Bottom-up and top-down processing Goal-directed vision
Homepage