| William
Arms
|
Professor
Ph.D. University of Sussex, 1973.
Research focus: Digital libraries, electronic publishing. |
| Kavita
Bala |
Assistant
Professor
Ph.D. MIT, 1999
Research focus:
Computer graphics,
especially interactive high-quality rendering,
image-based modeling, rendering and texturing, inverse
rendering, and augmented reality. |
| Graeme
Bailey |
Professor
Ph.D.Univ. of Birmingham, U.K., 1977.
Research focus: Mathematical modeling, applications to medicine
and biology, geometry, parametrization spaces and connectivity.
|
| Kenneth
P. Birman |
Professor
Ph.D. University of California, Berkeley, 1981.
Research focus: reliability and security in modern networked
environments. |
| Claire
Cardie |
Associate Professor
Ph.D. University of Massachusetts, Amherst, 1994.
Research focus: developing corpus-based techniques for understanding
and extracting information from natural language texts. |
| Rich
Caruana |
Assistant Professor
Ph.D. Carnegie Mellon University, 1997
Research focus: machine learning and data mining, medical
decision making and bioinformatics, feature selection, missing values,
inductive transfer, artificial neural networks, memory-based learning.
|
Thomas
F. Coleman |
Professor and Director, Cornell Theory Center, and CTC-Manhattan
Ph.D. University of Waterloo, 1979.
Research focus: design and understanding of practical and efficient
numerical algorithms for continuous optimization problems. Primarily
on the development of algorithms for large-scale optimization.
|
Robert
L. Constable |
Professor and Dean of CIS
Ph.D. University of Wisconsin, Madison, 1968.
Research focus: type theory and automated reasoning. |
| Alan
Demers |
Professor
Ph.D. Princeton University, 1975.
Research focus: Database systems, database replication, and
algorithms. |
| Ron
Elber |
Professor
Ph.D. Hebrew University, Jerusalem, 1984.
Research focus: Computational molecular biology, genomics.
|
| Paul
Francis |
Associate Professor
Ph.D. University College London, 1994
Research focus: Peer-to-peer applications, overlay networks,
network host proximity, Internet scaling, and IP mobility. |
|
Daisy Fan |
Assistant Professor
Ph.D. Cornell University, 2001
Research focus: the application of systems analysis techniques
for water resources and environmental problems. |
| Johannes
Gehrke |
Assistant
Professor
Ph.D. University of Wisconsin-Madison, 1999.
Research focus: Database systems, data mining, mining and monitoring
evolving data. |
Donald P. Greenberg |
Jacob Gould Schurman Professor of Computer Science; Director, Program
of Computer Graphics; Founding Director, NSF Science and Technology
Center for Computer Graphics and Scientific Visualization.
Ph.D. Cornell University, 1968.
Research focus: developing physically based lighting models
and perceptually based rendering procedures to produce images that
are visually and measurably indistinguishable from real world images.
|
| David
Gries |
Professor, Associate
Dean of Engineering for Undergraduate Programs
Dr. rer. nat. Technische Hochschule Muenchen, Munich, Germany, 1966.
Research focus: Program methodology and related areas; logic;
teaching in lower level courses.
|
Joseph Y. Halpern |
Professor; Co-Director, Cognitive Studies Program.
Ph.D. Harvard, 1981.
Research focus: representing and reasoning about knowledge
and uncertainty in multi-agent systems; security. |
Juris Hartmanis |
Emeritus
Walter R. Read Professor of Computer Science and Engineering, Turing
Award Winner.
Ph.D. California Institute of Technology, 1955.
Research focus: computational complexity, complexity of chaotic
systems. |
| John
E. Hopcroft |
Joseph Silbert Dean of Engineering Turing Award Winner; Professor
of Computer Science.
Ph.D. Stanford University, 1964.
Research focus: robust geometric algorithms, modeling and simulation,
and information capture and access. |
| Daniel
P. Huttenlocher |
John P. and
Rilla Neafsey Professor of Computing, Information Science and Business,
and Stephen H. Weiss Fellow
Ph.D. MIT, 1988.
Research focus: computer vision, specifically the problems
of model-based recognition, geometric shape comparison, and the
computation of visual correspondence.
|
Thorsten Joachims |
Assistant
Professor
Ph.D. Dortmund, 2001
Research focus: Machine learning and statistical learning
theory, with its main application in the fields of text mining and
intelligent information agents. |
|
Klara Kedem |
Professor
Ph.D. Tel Aviv University, 1989
Research focus: computational geometry. |
| Uri
Keich |
Assistant
Professor
Ph.D. Courant Institute, 1996
Research focus: Statistical and algorithmic problems
that arise in the areas of bioinformatics, such as motif finding,
seed design for similarity search, sequence assembly, and mass
spectrometry. |
| Jon
Kleinberg |
Associate Professor
Ph.D. MIT, 1996.
Research focus: design of efficient algorithms, with an emphasis
on combinatorial optimization, discrete algorithms for networks, and
problems in high-dimensional geometry. |
| Dexter
Kozen |
Joseph Newton Pew, Jr. Professor in Engineering.
Ph.D. Cornell University, 1977.
Research focus: theory of computational complexity, especially
complexity of decision problems in logic and algebra, program logics
and semantics, and computational algebra. |
| Lillian
Lee |
Associate
Professor
Ph.D. Harvard University 1997.
Research focus: natural language processing. |
| Steve
Marschner |
Assistant Professor
Ph.D. Cornell, 1998
Research focus: computer graphics, focusing on realistic
rendering, material properties, and high-resolution geometric modeling.
|
| Jeanna
Matthews |
Assistant
Professor
Ph.D. Berkeley, 2000
Research focus: file systems, storage systems and more generally
operating systems and distributed systems. |
| J.
Gregory Morrisett |
Associate
Professor
Ph.D. Carnegie Mellon University, 1995.
Research focus: Programming languages, security, type systems,
and compilers. |
| Andrew
Myers |
Assistant
Professor
Ph.D. MIT, 1999.
Research focus: Security, programming language design and implementation,
persistent and distributed object systems. |
| Keshav
K. Pingali |
Professor
Ph.D. MIT, 1986.
Research focus: programming languages and compilers for high-performance
architectures, specifically generating efficient code for engineering
and scientific simulations, starting from high-level descriptions
of the computations to be performed. |
| Radu
Rugina |
Assistant
Professor
Ph.D. University of California, Santa Barbara, 2001
Research focus: Pointer
analysis, parallelizing compilers, parallel computing. |
| Fred
B. Schneider |
Professor
Ph.D. State University of New York at Stony Brook, 1978.
Research focus: Concurrent and distributed systems; computer
and network security. |
| David
Schwartz |
Assistant Professor
Ph.D. State University of NY at Buffalo, 1999.
Research focus: Computational mechanics, applied mathematics
and educational technology. |
| Bart
Selman |
Associate
Professor
Ph.D. University of Toronto, 1991.
Research focus: Knowledge representation, reasoning and search,
algorithms and complexity, planning, machine learning, cognitive science,
software agents, and connections between computational complexity
and statistical physics. |
Jayavel Shanmugasundaram |
Assistant
Professor
Ph.D. University of Wisconsin, 2001
Research focus: Internet data management, database systems,
query-processing in emerging system architectures. |
| David
B. Shmoys |
Professor
Ph.D. University of California, Berkeley, 1984.
Research focus: design and analysis of efficient algorithms
for discrete optimization problems, in particular approximation algorithms
for NP-hard problems. |
| E.
Gun Sirer |
Assistant
Professor
Ph.D. University of Washington, 2002
Research focus: : Secure distributed systems, extensible operating
systems, language-based security, automated testing. |
| Eva
Tardos |
Professor
Ph.D. Eotvos University, Hungary, 1984.
Research focus: design and analysis of algorithms, with an
emphasis on problems in combinatorial optimization and network problems.
|
| Tim
Teitelbaum |
Associate Professor
Ph.D. Carnegie Mellon University, 1975.
Research focus: incremental algorithms for programming languages
and development environments. |
| Charles
Van Loan |
John C. Ford Professor of Engineering; Chair, CS
Ph.D. University of Michigan, 1973.
Research focus: numerical linear and multilinear algebra.
|
Stephen
A. Vavasis |
Professor
Ph.D. Stanford University, 1989.
Research focus: design and analysis of efficient algorithms to
solve large-scale scientific problems. |
| Golan
Yona |
Assistant Professor
Ph.D. Hebrew University, Jerusalem, 1999.
Research focus: Computational Molecular Biology, Machine Learning.
|
| Ramin
Zabih |
Associate Professor
Ph.D. Stanford University, 1994.
Research focus: computer vision, both basic research issues
and new applications. Research issues include, image restoration,
visual correspondence, and motion-based tracking. The new application
work focuses on content-based access to image databases |
|
|
| Lecturers
and Visiting Faculty |
|
Shai Ben-David |
|
| Greg
Buzzard |
|
| Ron
DiNapoli |
Electronic
software delivery |
|
David Gries |
|
| Stephanie
Weirich |
|
