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.
Home Page: http://www.wisdom.weizmann.ac.il
R. Basri
Developing new methods for object recognition and classification.
Designing algorithms for perceptual grouping and segmentation.
Applying methods from computer vision to visual robot navigation.
Home Page: http://www.wisdom.weizmann.ac.il/research.shtml
A. Brandt
Multi-level computational methods, scientific computation.
Home Page: http://www.wisdom.weizmann.ac.il/~achi
Home Page: http://www.wisdom.weizmann.ac.il/research.html
U. Feige
NP-hard combinatorial optimization problems, computational complexity, algorithms, cryptography, random walks, combinatorial optimization.
Home Page: http://www.wisdom.weizmann.ac.il/~feige
T. Flash
Robotics, motor control and learning, movement disorders, computational neuroscience, virtual reality.
Home Page: http://www.wisdom.weizmann.ac.il/~tamar
O. Goldreich
Probabilistic proof systems, pseudorandomness, foundations of cryptography, complexity theory.
Home Page: http://www.wisdom.weizmann.ac.il/~oded
S. Goldwasser
Probabilistic proofs, cryptography, computational number theory, complexity theory.
Home Page: http://www.wisdom.weizmann.ac.il/~shafi
D. Harel
Computability, logic of programs, visual formalisms, database theory, software engineering, statecharts.
Home Page: http://www.wisdom.weizmann.ac.il/~harel
M. Irani
Analysis and interpretation of visual motion, video information analysis and applications, computer vision, image processing.
Home Page: http://www.wisdom.weizmann.ac.il/~irani
D. Michelson
Numerical analysis, differential equations, dynamical systems.
Home Page: http://www.wisdom.weizmann.ac.il/~daniel
M. Naor
Randomness in computation, cryptography, concrete complexity and combinatorial algorithms.
Home Page: http://www.wisdom.weizmann.ac.il/~naor
D. Peleg
Distributed computing, communication networks, graph algorithms, approximation algorithms.
Home Page: http://www.wisdom.weizmann.ac.il/~peleg
A. Pnueli
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.
Home Page: http://www.wisdom.weizmann.ac.il/~amir
R. Raz
Circuit complexity and communication complexity, proof theory and probabilistic checkable proofs, lower-bounds, quantum computation derandomization.
Home Page: http://www.wisdom.weizmann.ac.il/~ranraz
V. Rom-Kedar
Transport and mixing in fluid flows.
Structure of highly chaotic systems (smooth billiard potentials).
Structure of near-integrable Hamiltonian systems.
Home Page: http://www.wisdom.weizmann.ac.il/~vered
A. Shamir
Cryptography, cryptanalysis, electronic money, smartcard security, internet security, complexity theory, the design and analysis of algorithms.
E. Shapiro
Biomolecular computing, computing with protein machines, biochemical and computational theories related to the origin of life.
Home Page: http://www.wisdom.weizmann.ac.il/~udi
S. Ullman
Vision, image understanding, brain theory, artificial intelligence.
Home Page: http://www.wisdom.weizmann.ac.il/~shimon