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.