Research Interests and Professional Activities of Faculty and Senior Researchers

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)
  

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

---