Department of Computer Science and Applied Mathematics
Shimon Ullman, 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.
R. Basri
ronen.basri@weizmann.ac.ilDeveloping new methods for object recognition and classification.
Designing algorithms for perceptual grouping and segmentation.
Applying methods from computer vision to visual robot navigation.
A. Brandt
achi.brandt@weizmann.ac.ilMulti-level computational methods, scientific computation.
U. Feige
uriel.feige@weizmann.ac.ilNP-hard combinatorial optimization problems, computational complexity, algorithms, cryptography, random walks, combinatorial optimization.
T. Flash
tamar.flash@weizmann.ac.ilRobotics, motor control and learning, movement disorders, computational neuroscience, virtual reality.
O. Goldreich
oded.goldreich@weizmann.ac.ilProbabilistic proof systems, Pseudorandomness, Foundations of Cryptography, Complexity theory.
S. Goldwasser
shafrira.goldwasser@weizmann.ac.ilProbabilistic proofs, cryptography, computational number theory, complexity theory.
D. Harel
david.harel@weizmann.ac.ilVisual formalisms, software engineering, biological modeling, graph drawing and visualization, odor communication and synthesis
M. Irani
michal.irani@weizmann.ac.ilAnalysis and interpretation of visual motion, video information analysis and applications, computer vision, image processing.
D. Michelson
daniel.michelson@weizmann.ac.ilNumerical analysis, differential equations, dynamical systems.
M. Naor
moni.naor@weizmann.ac.ilCryptography and Complexity
Distributed Computing
Concrete Complexity
D. Peleg
david.peleg@weizmann.ac.ilDistributed computing, communication networks, graph algorithms, approximation algorithms.
A. Pnueli
amir.pnueli@weizmann.ac.ilTemporal 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.
circuit complexity, communication complexity, propositional proof theory, probabilistic checkable proofs, lower-bounds, quantum computation, derandomization.
V. Rom-Kedar
vered.rom-kedar@weizmann.ac.ilTransport and mixing in fluid flows.
Structure of highly chaotic systems (smooth billiard potentials).
Structure of near-integrable Hamiltonian systems.
A. Shamir
adi.shamir@weizmann.ac.ilCryptography, cryptanalysis, electronic money, smartcard security, internet security, complexity theory, the design and analysis of algorithms.
E. Shapiro
ehud.shapiro@weizmann.ac.ilBiomolecular computing, computing with protein machines, biochemical and computational theories related to the origin of life.
S. Ullman
shimon.ullman@weizmann.ac.ilVision, image understanding, brain theory, artificial intelligence.