The Department of Computer Science is dedicated to creating the
American research university of the information age. Our faculty and
researchers believe that the science behind computing has become so deep
and information technology so pervasive that they are now relevant to
every subject in the university; indeed, our discipline epitomizes the
notion of an enabling science. Our faculty and researchers embrace this
philosophy and illustrate its utility with current research that touches
many fields and areas of interests. Computer Science Faculty William Arms Professor.
Ph.D. University of Sussex, 1973. Digital libraries, electronic publishing Kavita Bala Assistant
Professor. Ph.D. MIT, 2000. Computer graphics - scalable graphics; perceptually-based, realistic rendering; image-based texturing and modeling. Kenneth P. Birman Professor.
Ph.D. University of California, Berkeley, 1981. Reliability and security in
modern networked environments. Claire Cardie Professor. Ph.D. University of Massachusetts, Amherst, 1994. Developing
corpus-based techniques for understanding and extracting information from natural
language texts. Robert L. Constable
Professor and Dean. Ph.D. University of Wisconsin, Madison, 1968. Type theory and automated reasoning. Paul Francis Associate Professor,
Ph.D. University College London, 1994. Systems. Johannes Gehrke
Associate Professor. Ph.D. University of Wisconsin-Madison, 1999. Database systems, database mining. Associate Professor Ph.D. University of Edinburgh, 1993. Artificial Intelligence, computer science. 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. Developing
physically based lighting models and perceptually based rendering procedures
to produce images that are visually and measurably indistinguishable from
real world images. Joseph
Y. Halpern Professor. Ph.D. Harvard, 1981.
Representing and reasoning about knowledge and uncertainty in multi-agent
systems. Juris
Hartmanis Walter R. Read Professor of Engineering,
Turing Award Winner. Ph.D. California Institute of Technology, 1955.
Emeritus. John E. Hopcroft Joseph Silbert Professor of Engineering, Turing Award
Winner; Professor of Computer Science. Ph.D. Stanford University, 1964.
Information capture and access. Daniel P. Huttenlocher
Cornell Weiss Presidential Fellow; Professor. Ph.D. MIT, 1988. Computer
vision, specifically the problems of model-based recognition, geometric
shape comparison, and the computation of visual correspondence. Doug James Associate Professor. Ph.D. University of British Columbia, 2001. Algorithms for simulating complex physical systems at apparently negligible costs. A key application area is multimodal interactive physical simulation, e.g., haptic force- and torque-feedback rendering. Interested in developing fast reduced-coordinate simulation algorithms using dimensional model reduction, data-driven precomputation, and expert systems. Thorsten
Joachims Assistant Professor. Ph.D.
University of Dortmund, 2001. Machine learning, especially Support
Vector Machines and learning with natural language text. Uri Keich Assistant
Professor. Ph.D. New York University, 1996.
Bioinformatics, statistics and computational mathematics. Jon
Kleinberg Professor. Ph.D. MIT,
1996. Algorithm design, with an emphasis on the social and information networks
that underpin the Web and other on-line media. Assistant Professor, MIT, 2005. Algorithmic game theory, algorithms for networked systems, theoretical machine learning, online algorithms, discrete random structures and processes. Associate Professor,
Ph.D., CERN and TU Vienna, 2001. Database systems and database theory. Dexter Kozen
Joseph Newton Pew, Jr. Professor in Engineering. Ph.D. Cornell University,
1977. 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. Natural
language processing and machine learning. Steve Marschner
Associate Professor. Ph.D. Cornell University, 1998. Appearance models
for natural materials; 3D scanning, processing scanned geometric data;
image-based appearance measurement for 3D objects; measurement and representation
of the BRDF; inverse rendering; and physically based image synthesis. Andrew C. Myers Associate Professor. Ph.D. MIT, 1999. Security, programming language
design and implementation, persistent and distributed object systems. Assistant Professor. Ph.D. MIT, 2006. Cryptography and its interplay with computational complexity (and Game Theory). Fred B. Schneider
Professor. Ph.D. State University of New York at Stony Brook, 1978.
Concurrent and distributed systems for high-integrity, mission-critical
settings. Bart
Selman Professor. Ph.D. University of
Toronto, 1991. Knowledge representation, reasoning and search,
algorithms and complexity, planning, machine learning, cognitive science,
software agents, and connections between computational complexity and
statistical physics. David
B. Shmoys Professor. Ph.D. University of
California, Berkeley, 1984. Design and analysis of efficient algorithms
for discrete optimization problems, in particular approximation algorithms
for NP-hard problems. Assistant Professor. Ph.D. UC Santa Cruz, 2005. Computational applications in comparative and evolutionary genomics. Emin Gun Sirer
Associate Professor. Ph.D. University of Washington, 2002. Operating systems, compilers and architecture,
concentrating on secure, extensible and distributed systems. Éva Tardos Professor. Ph.D. Eotvos University, 1984. Algorithm Design and Algorithmic Game Theory. Tim
Teitelbaum Associate Professor. Ph.D. Carnegie
Mellon University, 1975. Incremental algorithms for programming
languages and development environments. Charles Van Loan Professor. Ph.D. University of Michigan, 1973. Matrix computation,
numerical analysis. Assistant Professor. Ph.D. University of California, Berkeley, 2006. Fault-tolerance, reliability, security, performance of Internet-scale systems. Ramin
Zabih Associate Professor. Ph.D. Stanford
University, 1994. Computer vision and medical imaging. Professor, Ph.D. University of Massachusetts Amherst, 1996. High performance, power efficient, and reliability-aware computer architecture. Shimon
Edelman Professor in Psychology. Ph.D. Weizmann
Institute of Science, 1988. Human and machine cognition (in
particular, visual recognition and natural language processing). Eric Friedman
Associate Professor in ORIE. Ph.D. University of California at
Berkeley, 1993. Game theory, information technology, and cost allocation. Professor, Ph.D. University of Illinois, 1985. Diagnosis and failure analysis - CAD tools for integrated circuit testing and failure analysis. Recovery from failures - mobile computing, active networks, cluster computing. Zygmunt
Haas Professor in ECE. Ph.D.
Stanford, 1988. wireless communications and mobile systems. Sheila
Hemami Professor in ECE. Ph.D. Stanford, 1994. Application-specific video and still image coding and transmission. Assistant Professor in Statistics. Ph.D. Stanford, 2007. Machine learning, datamining, High-dimensional data, ranking, signal & image processing. Hod Lipson
Associate Professor in MAE. Ph.D. Technion, 1998. Computational
synthesis. Rajit
Manohar Associate Professor in ECE. Ph.D.
Caltech, 1998. Computer architecture, asynchronous VLSI design, concurrent
and distributed systems. José Martinez
Assistant Professor in ECE. Ph.D. University of Illinois at Urbana
Champaign, 2002. Computer architecture for progammability and high
performance. Emphasis on parallel architectures, thread-level
speculation, memory hierarchies, processing in memory and other
heterogeneous architectures, hardware/software interaction. Anil
Nerode Goldwin Smith Professor of Mathematics.
Ph.D. University of Chicago, 1956. Mathematical
logic, recursive functions, computer science, mathematics of AI, control
engineering. Phoebe Sengers
Assistant Professor in S&TS. Ph.D. Carnegie Mellon
University, 1998. My current research area is Ecological Media, or
interactive media devices which shape our experience of the environment in
our everyday lives. Assistant Professor. Ph.D. University California-Santa Cruz, 2005. Comparative genomics, molecular evolution, phylogeny reconstruction, gene prediction, conserved noncoding sequences, Bayesian statistics, probabilistic graphical codes. G. Edward Suh Assistant Professor. Ph.D. MIT, 2005. computer systems in general with a particular focus on computer architecture. I am interested in combining architectural techniques with low-level software to enhance various aspects of computing systems such as performance, security, and reilability. Robbert van Renesse Senior
Research Associate in Computer Science. Ph.D. Vrije University, Amsterdam, 1989. Software tools and environments for reliable, secure distributed computing. Stephen Wicker Professor in ECE. Ph.D. University of Southern California, 1987. Artificial intelligence, game theory and wireless information networks. Professor. Ph.D. M.I.T., 1993. Algorithms, combinatorial optimization, computer science. Robbert van Renesse Ph.D. Vrije University, Amsterdam, 1989. Software tools and environments for reliable, secure distributed computing. Paul Chew Ph.D.
Purdue University, 1981. Geometric algorithms with an emphasis on
practical applications. Ph.D., Princeton University, 1975. Database systems, database replication, and algorithms Dean Krafft
Ph.D. Cornell
University, 1981. Ensuring the availability in the digital world of pre-digital published and manuscript materials. Carl Lagoze MSE. Wang Institute. Digital libraries concentrating on metadata, infrastructure and interoperability, and object models. Research Associates
Ph.D., University of California, Santa Barbara, 2002. Database and information systems, data stream
processing, data warehouse. Ph.D., University of Manchester, UK, 1994.
Web information systems, interoperability and open-access scholarly publishing. Also work on the arXiv eprint archive
and the Open Archives Initiative. Hakim Weatherspoon Ph.D., University of California, Berkeley, 2006. Distributed, network, peer-to-peer and
fault tolerant systems, with additional focus on data storage, file systems and system integrity. Ph.D., Cornell University, 2000.
Design of high-level languages for databases and information systems.
|
