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.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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)

Databases.

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:

• ACM Computing Surveys (Schneider, Editor)
  
• ACM Transactions on Computing Systems (Birman, Editor-in-Chief)
  
• ACM Transactions on Mathematical Software (Zippel, Editorial Board)
  
• Acta Informatica (Gries, Main Editor)
  
• Annals of Software Engineering (Schneider, Editor)
  
• Applied Mathematics Letters (Coleman, Editorial Board)
  
• Chicago Journal of Theoretical Computer Science (Hartmanis, Editorial Board)
  
• Combinatorica (Tardos, Editor)
  
• Communications on Applied Nonlinear Analysis, Mathematical Modelling and Scientific Computing (Coleman, Editorial Board)
  
• Computational Optimization and Applications (Coleman, Editorial Board)
  
• Computer Graphics Journal (Greenberg, Editorial Board)
  
• Distributed Computing (Schneider, Editor-in-Chief)
  
• EATCS Monographs in Theoretical Computer Science (Hartmanis, Advisory Board)
  
• Electronic Journal for the Foundation of Computer Science (Hartmanis, Editorial Board)
  
• Electronic Journal for Theoretical Computer Science (Tardos, Editor)
  
• Electronic Journal for Universal Computer Science (Hartmanis, Foundations Editor)
  
• Formal Aspects of Computer Science (Gries, Editorial Board)
  
• Formal Methods in System Design (Constable, Editor)
  
• High Integrity Systems (Schneider, Editor)
  
• IEEE Transactions on Parallel and Distributed Computing (Birman, Editor)
  
• IEEE Transactions on Pattern Analysis and Machine Intelligence (Huttenlocher, Editor)
  
• IEEE Transactions on Software Engineering (Schneider, Editor)
  
• Information Processing Letters (Gries, Managing Editor)
  
• Information Processing Letters (Schneider, Editor)
  
• International Journal for the Foundation of Computer Science (Hartmanis, Advisory Board)
  
• International Journal of Parallel Programming (Pingali, Editorial Board)
  
• Japan Journal of Industrial and Applied Mathematics (Trefethen, Editorial Board)
  
• Journal of Computer and Systems Sciences (Hartmanis, Editor)
  
• Journal of Computational and Applied Mathematics (Trefethen, Editorial Board)
  
• Journal of Global Optimization (Vavasis, Editor)
  
• Journal of Logic and Computation (Constable, Editor)
  
• Journal of Symbolic Computation (Constable, Zippel, Editors)
  
• Mathematical Modeling and Scientific Computing (Coleman, Editorial Board)
  
• Mathematical Programming (Tardos, Editor)
  
• Mathematics of Operations Research (Tardos, Associate Editor)
  
• MIT Press (Hartmanis, Editorial Board)
  
• Numerische Mathematik (Trefethen, Editorial Board)
  
• SIAM (Coleman, Editorial Advisory Board)
  
• SIAM Journal on Computing (Hartmanis, Tardos, Editors)
  
• SIAM Journal on Matrix Analysis (Van Loan, Editor)
  
• SIAM Journal on Numerical Analysis (Trefethen, Editorial Board)
  
• SIAM Journal on Scientific Computing (Coleman, Editorial Board)
  
• SIAM Review (Trefethen, Editorial Board)
  
• Software-Concepts and Tools (Gries, Editorial Board)
  
• Springer-Verlag Lecture Notes in Computer Science (Gries, Editorial Board)
  
• Springer-Verlag Lecture Notes in Computer Science (Hartmanis, Editor)
  
• Springer-Verlag Texts and Monographs in Computer Science (Gries and Schneider, Co-Editors)
  
• World Scientific (Hartmanis, Advisory Board)
  

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: www@cs.cornell.edu.

---