Department of Computer Science and Applied Mathematics
Tamar Flash, Head
The principal interests of the department lie in the areas of computer science and applied mathematics. Research in computer science includes the study of computational complexity, the development and analysis of algorithms, cryptography, proof theory, parallel and distributed computing, logic of programs, specification methodologies, the formal study of hybrid systems, combinatorial games, biological applications, brain modeling, visual perception and recognition, robotics and motion control. Research in applied mathematics includes dynamical systems, combinatorics, numerical analysis, the use of mathematical techniques to elucidate phenomena of interest in the natural sciences, such as biology and geophysics, and on the development of new numerical tools for solving differential equations, computing integrals, providing efficient approximations to complex continuous models, and solving other mathematical problems.
The departmental computer facilities include a multiple-CPU server, SGI, Sun and DEC workstations, and NCD X-terminals. The vision and robotics laboratories contain state-of-the-art equipment, including an Adept four-axis SCARA manipulator, an Eshed Robotec Scorbot ER IVV manipulator, Optotrak system for three-dimensional motion tracking, and a variety of input and output devices.
Developing new methods for object recognition and classification.
Designing algorithms for perceptual grouping and segmentation.
Applying methods from computer vision to visual robot navigation.
Multi-level computational methods, scientific computation.
NP-hard combinatorial optimization problems, computational complexity, algorithms, cryptography, random walks, combinatorial optimization.
Robotics, motor control and learning, movement disorders, computational neuroscience, virtual reality.
Probabilistic proof systems, Pseudorandomness, Foundations of Cryptography, Complexity theory.
Probabilistic proofs, cryptography, computational number theory, complexity theory.
Visual formalisms, software engineering, biological modeling, graph drawing and visualization, odor communication and synthesis
Video information analysis and applications, Computer Vision, Image Processing.
Numerical analysis, differential equations, dynamical systems.
Cryptography and Complexity
Distributed Computing
Concrete Complexity
Graph algorithms, approximation algorithms, distributed computing, fault tolerance, communication networks
Temporal logic, specification, verification (deductive and algorithmic), development and synthesis of reactive, real-time and hybrid systems, verification of hardware designs, and optimizing compilers, translation validation.
Boolean circuit complexity, arithmetic circuit complexity, communication complexity, propositional proof theory, probabilistic checkable proofs, quantum computation and communication, derandomization.
Transport and mixing in fluid flows.
Structure of highly chaotic systems (smooth billiard potentials).
Structure of near-integrable Hamiltonian systems.
A. Shamir
Cryptography, cryptanalysis, electronic money, smartcard security, internet security, complexity theory, the design and analysis of algorithms.
Biomolecular computing, computing with protein machines, biochemical and computational theories related to the origin of life.
E. Titi
Nonlinear Partial Differential Equations
- Infinite-dimensional dynamical systems
- Numerical analysis of dissipative PDEs
- Control theory for dissipative systems
Fluid Dynamics
- Navier-Stokes and related equations
- Turbulence theory
- Geophysical models of aceanic and atmospheric dynamics
Vision, image understanding, brain theory, artificial intelligence.