Research
Interests and Professional Activities of Facultyand Senior Researchers |

The following are the research interests of the faculty and senior researchers of the Computer Science Department. These include new faculty for 1997–1998.

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:Distributed computing, fault-tolerance, high performance communication.

ClaireCardie:Natural language processing, machine learning, artificial intelligence.

Paul Chew:Geometric algorithms, mesh generation.

Thomas F. Coleman:Numerical optimization, parallel computation.

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

Michael Godfrey:Software engineering.

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

DavidGries:Programming methodology, programming languages, compiler construction, logic.

Joseph Halpern:Reasoning about knowledge, artificial intelligence.

JurisHartmanis:Theory of computation, computational complexity.

JohnE.Hopcroft:Modeling and simulation, algorithms, information capture and access.

DanielP. Huttenlocher:Computer vision, computational geometry, digital video.

Jon Kleinberg:Algorithms, combinatorial optimization, computational geometry, computational biology.

Srinivasan Keshav:Computer networking, operating and distributed systems.

DexterKozen:Theory of computation, computational complexity, analysis of algorithms, program logics and semantics.

DeanKrafft:Digital libraries, information access.

BruceLand:Computer graphics.

YuyingLi:Scientific computation, numerical optimization.

J.GregoryMorrisett:Programming languages, distributed systems, runtime systems, concurrency.

KeshavK.Pingali:Software for parallel systems, compilers.

RobbertvanRenesse:Distributed computing, fault-tolerance, distributed multimedia systems.

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

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

Praveen Seshadri:Databases.

BrianC. Smith:Distributed multimedia systems, image processing, user interfaces, information technology.

TimTeitelbaum:Programming languages, systems, environments.

SamToueg:Distributed computing, fault-tolerance, real-time systems.

CharlesVanLoan:Scientific computing.

StephenVavasis:Numerical analysis.

ThorstenvonEicken:Parallel systems, computer architecture.

Catherine M. Wagner:Automated reasoning, constructive logic.

RaminZabih:Computer vision, multimedia, information technology, robotics.

RichardZippel: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)

ACM Transactions on Networking(Keshav, Editor)

Acta Informatica(Gries, Main Editor)

Annals of Software Engineering(Schneider, Editor)

Applied Mathematics Letters(Coleman, Editorial Board)

AI Journal Information & Computation(Halpern, Editorial Board)

Chicago Journal of Computer Science(Halpern, Consulting Editor)

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)

Electronic Journal for Theoretical Computer Science(Tardos, Editor)

Formal Methods in System Design(Constable, Editor)

High Integrity Systems(Schneider, Editor)

IEEE Transactions on Software Engineering(Schneider, Editor)

IEEE Transactions on Networking(Keshav, Editor)

Information and Computation(Halpern, Editor)

Information Processing Letters(Gries, Managing Editor; Schneider, Editor)

Information Journal on Computing(Shmoys, Associate Editor)

International Journal of Parallel Programming(Pingali, Editorial Board)

Journal of the ACM (Halpern, Editor-in-Chief)(Tardos, Associate Editor)

Journal of Algorithms SODA’96

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 High Speed Networking(Keshav, Editor)(Constable, Editor; Halpern, Editorial Board)

Journal of Logic and Computation

Journal of Symbolic Computation(Constable, Zippel, Editors)

Mathematical Modeling and Scientific Computing(Coleman, Editorial Board)

Mathematical Programming A(Tardos, Editor; Shmoys, Associate Editor)

Mathematics of Operations Research(Tardos, Shmoys, Associate Editors)

Numerische Mathematik(Trefethen, Editorial Board)

Robotics Intelligence and Computation(Donald, Associate Editor)

SIAM(Coleman, Editorial Advisory Board)

SIAM Journal on Computing(Hartmanis, Tardos, Shmoys, Editors)

SIAM Journal on Discrete Mathematics(Shmoys, Editor)

SIAM Journal on Matrix Analysis(Vavasis, Editor)

SIAM Journal on Numerical Analysis(Trefethen, Editorial Board)

SIAM Journal on Scientific Computing(Coleman, Editorial Board)

SIAM Review(Trefethen, Editorial Board)

Springer-VerlagLecture Notes in Computer Science(Hartmanis, Editor; Gries, Editorial Board)

Springer-VerlagTexts and Monographs in Computer Science(Gries,