Research Interests and Professional Activities
of Faculty and Senior Researchers

Research Interests

The following are the research interests of the faculty and senior researchers of the Computer Science Department at Cornell. These include new faculty for 1996-1997.
B D E F G H I J K L M N O P Q 

Kenneth P. Birman: (Annual Report)
Distributed computing, fault-tolerance, high performance communication.
Claire Cardie: (Annual Report)
Natural language processing, machine learning, artificial intelligence.
Paul Chew: (Annual Report)
Geometric algorithms, mesh generation.
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, microelectron mechanical systems.
Michael Godfrey: (Personal)
Software engineering.
Donald P. Greenberg: (Annual Report)
Computer graphics, computer-aided design.
David Gries: (Annual Report) and/or (Personal)
Programming methodology, programming languages, compiler construction, logic.
Joseph Halpern: (Personal)
Reasoning about knowledge, AI.
Juris Hartmanis: (Annual Report)
Theory of computation, computational complexity.
Monika Rauch Henzinger: (Annual Report) and/or (Personal)
Algorithms, data structures, graph theory.
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.
Jon Kleinberg: (Personal)
Theory, algorithms, parallel and distributed computing.
Srinivasan Keshav: (Personal)
Computer networking, operating and distributed systems.
Dexter Kozen: (Annual Report) and/or (Personal)
Theory of computation, computational complexity, analysis of algorithms, program logics and semantics.
Dean Krafft: (Annual Report) and/or (Personal)
Digital libraries, information access.
Bruce Land: (Annual Report)
Computer graphics.
Yuying Li: (Annual Report)
Scientific computation, numerical optimization.
J. Gregory Morrisett: (Annual Report)
Programming languages, distributed systems, runtime systems, concurrency.
Keshav K. Pingali: (Annual Report)
Software for parallel systems, compilers.
Ronitt A. Rubinfeld: (Annual Report)
Theory of computation, randomized algorithms, computational complexity.
Fred B. Schneider: (Annual Report)
Concurrent programming, fault-tolerance, distributed systems, real-time systems.
Praveen Seshadri: (Personal)
Brian C. Smith: (Annual Report) and/or (Personal)
Distributed multimedia systems, image processing, user interfaces, information technology.
Tim Teitelbaum: (Annual Report)
Programming languages, systems, environments.
Sam Toueg: (Annual Report) and/or (Personal)
Distributed computing, fault-tolerance, real-time systems.
Lloyd N. Trefethen: (Annual Report) and/or (Personal)
Numerical analysis, applied mathematics.
Charles Van Loan: (Annual Report)
Scientific computing.
Robbert van Renesse: (Annual Report)
Distributed computing, fault-tolerance, distributed multimedia systems.
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.
Richard Zippel: (Annual Report)
Symbolic mathematics, scientific software.

Professional Activities of Faculty

Cornell computer scientists also provide leadership for publications and conferences:

Go to:
Colloquium and Seminar Speakers

Return to:
1995-1996 Annual Report Home Page
Departmental Home Page

If you have questions or comments please contact: