Faculty

Here is a list of the current faculty in Cornell's Department of Computer Science, together with a brief list of their general areas of research. Each name links to the faculty member's individual page.

Research Interests of the Faculty

Kenneth P. Birman: Distributed systems, signal processing.

Claire Cardie: Natural language processing, machine learning.

Thomas F. Coleman: Numerical optimization, parallel computation.

Robert L. Constable: Theory of computation, programming logics, automated reasoning.

Bruce Randall Donald: Robotics, artificial intelligence, computational geometry.

Donald P. Greenberg: Computer graphics, computer-aided design.

David Gries: Programming methodology, programming languages, compiler construction.

Juris Hartmanis: Theory of computation, computational complexity.

Thomas A. Henzinger: Logic, concurrency, real-time.

John E. Hopcroft: Modeling and simulation, algorithms, information capture and access.

Daniel P. Huttenlocher: Computer vision, computational geometry, artificial intelligence.

Dexter Kozen: Theory of computation, computational complexity, programming logics, semantics.

Monika Rauch Henzinger:Algorithms, data structures, graph theory.

Keshav K. Pingali: Programming languages for parallel machines, parallel architectures, and compiling.

Ronitt Rubinfeld: Theory of computation, randomized algorithms, computational complexity.

Fred B. Schneider: Concurrent programming, fault-tolerance, distributed systems, real-time systems.

Brian C. Smith: Distributed multi-media systems, image processing, user interfaces.

Tim Teitelbaum: Programming languages, systems, environments.

Sam Toueg: Distributed computing, fault tolerance, real-time.

Lloyd N. Trefethen: Numerical analysis, applied mathematics.

Charles Van Loan: Scientific computing.

Stephen Vavasis: Numerical anaysis.

Thorsten von Eicken: Parallel systems, computer architecture.

Catherine M. Wagner: Automated reasoning, constructive logic.

Ramin Zabih: Computer vision, multi-media, robotics.

Departmental Technical Reports

Many of our faculty and their students published technical reports on their research during the 1992-1993 academic year. For a list of all the Technical Reports published by the Department, see the Cornell CS Technical Reports document.