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.il

Developing 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.il

Multi-level computational methods, scientific computation.

U. Feige 
uriel.feige@weizmann.ac.il

NP-hard combinatorial optimization problems, computational complexity, algorithms, cryptography, random walks, combinatorial optimization.

T. Flash 
tamar.flash@weizmann.ac.il

Robotics, motor control and learning, movement disorders, computational neuroscience, virtual reality.

O. Goldreich 
oded.goldreich@weizmann.ac.il

Probabilistic proof systems, Pseudorandomness, Foundations of Cryptography, Complexity theory.

S. Goldwasser 
shafrira.goldwasser@weizmann.ac.il

Probabilistic proofs, cryptography, computational number theory, complexity theory.

D. Harel 
david.harel@weizmann.ac.il

Visual formalisms, software engineering, biological modeling, graph drawing and visualization, odor communication and synthesis

M. Irani 
michal.irani@weizmann.ac.il

Analysis and interpretation of visual motion, video information analysis and applications, computer vision, image processing.

D. Michelson 
daniel.michelson@weizmann.ac.il

Numerical analysis, differential equations, dynamical systems.

M. Naor 
moni.naor@weizmann.ac.il

Cryptography and Complexity

Distributed Computing

Concrete Complexity

D. Peleg 
david.peleg@weizmann.ac.il

Distributed computing, communication networks, graph algorithms, approximation algorithms.

A. Pnueli 
amir.pnueli@weizmann.ac.il

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.

R. Raz 
ran.raz@weizmann.ac.il

circuit complexity, communication complexity, propositional proof theory, probabilistic checkable proofs, lower-bounds, quantum computation, derandomization.

V. Rom-Kedar 
vered.rom-kedar@weizmann.ac.il

Transport 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.il

Cryptography, cryptanalysis, electronic money, smartcard security, internet security, complexity theory, the design and analysis of algorithms.

E. Shapiro 
ehud.shapiro@weizmann.ac.il

Biomolecular computing, computing with protein machines, biochemical and computational theories related to the origin of life.

S. Ullman 
shimon.ullman@weizmann.ac.il

Vision, image understanding, brain theory, artificial intelligence.

 This file was last modified on 03/06/2012 13:42:06

 e-mail: academic.affairs@weizmann.ac.il

| Current Research Activities | Weizmann Home Page | Academic Affairs Office Home Page | Search |