MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 16-Dec-96 23:59:40 GMT Content-Type: text/html Content-Length: 7031 Last-Modified: Thursday, 26-Oct-95 15:50:11 GMT Faculty Research Interests

Faculty Research Interests

The following are the research interests of each of the faculty members of the Computer Science Department at Cornell. To find out more about any of the faculty, follow the link to his/her Annual Report and/or Personal home pages.
Kenneth P. Birman: (Annual Report)
Distributed computing, fault-tolerance, high performance communication.
Bard Bloom: (Annual Report)
Semantics of programming languages, distributed algorithms.
Claire Cardie: (Annual Report) and/or (Personal)
Natural language processing, machine learning, artificial intelligence.
Thomas F. Coleman: (Annual Report)
Numerical optimization, parallel computation.
Robert L. Constable: (Annual Report)
Theory of computation, programming logics, automated reasoning.
Bruce Randall Donald: (Annual Report) and/or (Personal)
Robotics, artificial intelligence, computational geometry, microelectronmechanical systems.
Donald P. Greenberg: (Annual Report)
Computer graphics, computer-aided design.
David Gries: (Annual Report) and/or (Personal)
Programming methodology, programming languages, compiler construction.
Juris Hartmanis: (Annual Report)
Theory of computation, computational complexity.
Thomas A. Henzinger: (Annual Report) and/or (Personal)
Theory of concurrent and real-time systems.
John E. Hopcroft: (Annual Report)
Modeling and simulation, algorithms, information capture and access.
Daniel P. Huttenlocher: (Annual Report) and/or (Personal)
Computer vision, computational geometry, digital video.
Dexter Kozen: (Annual Report) and/or (Personal)
Theory of computation, computational complexity, analysis of algorithms, program logics and semantics.
Paul Pedersen: (Annual Report)
Symbolic and algebraic computation and algorithms (to UCLA, Fall 1994).
Keshav K. Pingali: (Annual Report)
Software for parallel systems, compilers.
Monika H. Rauch: (Annual Report) and/or (Personal)
Algorithms, data structures, graph theory.
Ronitt A. Rubinfeld: (Annual Report)
Theory of computation, randomized algorithms, computational complexity.
Gerard Salton: (Annual Report)
Information retrieval, language and text processing, information technology.
Fred B. Schneider: (Annual Report)
Concurrent programming, fault-tolerance, distributed systems, real-time systems.
Alberto M. Segre: (Annual Report)
Artificial intelligence, machine learning (to U. of Iowa, Fall 1994).
Brian C. Smith: (Annual Report) and/or (Personal)
Distributed multimedia systems, image processing, user interfaces, information technology.
Devika Subramanian: (Annual Report)
Artificial intelligence, machine learning, information technology.
Tim Teitelbaum: (Annual Report)
Programming languages, systems, environments.
Carlo Tomasi: (Annual Report)
Computer vision, visual motion interpretation (to Stanford, Spring 1994).
Sam Toueg: (Annual Report) and/or (Personal)
Distributed computing, fault-tolerance, real-time.
Lloyd N. Trefethen: (Annual Report) and/or (Personal)
Numerical analysis, applied mathematics.
Charles Van Loan: (Annual Report)
Scientific computing.
Stephen Vavasis: (Annual Report) and/or (Personal)
Numerical analysis.
Thorsten von Eicken: (Annual Report) and/or (Personal)
Parallel systems, computer architecture.
Catherine M. Wagner: (Annual Report)
Automated reasoning, constructive logic.
Ramin Zabih: (Annual Report) and/or (Personal)
Computer vision, multimedia, information technology, robotics.


Return to:
1993-1994 Annual Report Home Page
Departmental Home Page

If you have questions or comments please contact: www@cs.cornell.edu.


Last modified: 24 March 1995 by Denise Moore (denise@cs.cornell.edu).