Computer Science Faculty

Pankaj K. Agarwal
ASSOCIATE PROFESSOR OF COMPUTER SCIENCE
Ph.D., Courant Institute of Mathematical Sciences, 1989. Analysis of algorithms, computational and combinatorial geometry, robotics, data structures.

Lars Arge
ASSISTANT RESEARCH PROFESSOR
Ph.D., Aarhus (Denmark), 1996. Design and analysis of algorithms and data structures, I/O efficient computation, computational geometry.

Owen L. Astrachan
ASSOCIATE PROFESSOR OF THE PRACTICE OF COMPUTER SCIENCE AND DIRECTOR OF TEACHING AND LEARNING
Ph.D., Duke University, 1992. Automated theorem proving, parallel and distributed computing, computer science education.

Alan W. Biermann
PROFESSOR OF COMPUTER SCIENCE
Ph.D., University of California-Berkeley, 1968. Artificial intelligence, automatic program synthesis, learning and inference theory, natural-language processing.

Jeffrey S. Chase
ASSISTANT PROFESSOR OF COMPUTER SCIENCE
Ph.D., University of Washington-Seattle, 1995. Operating systems, distributed systems, storage systems and parallel programming.

Robert C. Duvall
LECTURER
M.S., Brown University, 1997. Computer science education.

Carla S. Ellis
ASSOCIATE PROFESSOR OF COMPUTER SCIENCE
Ph.D., University of Washington-Seattle, 1979. Operating systems, parallel systems, distributed data structures.

Gershon Kedem
ASSOCIATE PROFESSOR OF COMPUTER SCIENCE AND OF ELECTRICAL AND COMPUTER ENGINEERING
Ph.D., University of Wisconsin-Madison, 1978. Parallel architecture, VLSI design algorithms.

Alvin R. Lebeck
ASSISTANT PROFESSOR OF COMPUTER SCIENCE AND OF ELECTRICAL AND COMPUTER ENGINEERING
Ph.D., University of Wisconsin-Madison, 1995. Computer architecture, memory systems, parallel and distributed systems, performance analysis.

Michael L. Littman
ASSISTANT PROFESSOR
Ph.D., Brown University, 1996. Artificial intelligence, machine learning, planning under uncertainty, statistical natural language processing, algorithms and complexity.

Donald W. Loveland
PROFESSOR OF COMPUTER SCIENCE
Ph.D., New York University, 1964. Automated theorem proving, logic programming, test and treatment problem, knowledge evaluation.

Dietolf Ramm
ASSOCIATE PROFESSOR OF THE PRACTICE OF COMPUTER SCIENCE AND DIRECTOR OF UNDERGRADUATE STUDIES
Ph.D., Duke University, 1969. Communications; applications of computer technology to education.

John H. Reif
PROFESSOR OF COMPUTER SCIENCE
Ph.D., Harvard University, 1977. Theoretical computer science, efficient algorithms, parallel computation, robotics.

Susan H. Rodger
ASSOCIATE PROFESSOR OF THE PRACTICE OF COMPUTER SCIENCE
Ph.D., Purdue University, 1989. Interactive and visual tools for theoretical computer science, computer science education, algorithm animation, analysis of algorithms, parallel algorithms, data structures, computational geometry.

Donald J. Rose
PROFESSOR OF COMPUTER SCIENCE
Ph.D., Harvard University, 1970. Numerical solution of PDEs, numerical algebra, numerical methods for semiconductor devices and circuit simulation.

Xiaobai Sun
ASSISTANT PROFESSOR OF COMPUTER SCIENCE
Ph.D., University of Maryland-College Park, 1991. Successive band reduction and banded approaches to eigenvalue problems, block householder transformations, numerical libraries for high-performance architectures, numerical methods for the solutions of Markov chains.

Jeffrey S. Vitter
GILBERT, LOUIS, AND EDWARD LEHRMAN PROFESSOR OF COMPUTER SCIENCE AND CHAIR
Ph.D., Stanford University, 1980. Design and analysis of algorithms, large-scale computation (including I/O efficiency, parallel computation, incremental algorithms), computational geometry, data compression, machine learning, order statistics.

Robert A. Wagner
ASSOCIATE PROFESSOR OF COMPUTER SCIENCE AND DIRECTOR OF GRADUATE STUDIES
Ph.D., Carnegie-Mellon University, 1969. Experimental VLSI architectures, application of dynamic programming to algorithm and systems design, design of optimal software and hardware systems, time-cost tradeoffs in abstract parallel computer models.