Faculty members in the department and the field of Computer Science are listed below. | William Arms |
Professor
Ph.D., University of Sussex, 1973 Research focus: Digital libraries, electronic publishing
|  | | Graeme Bailey |
Professor
Ph.D., University of Birmingham, 1977 Research focus: Mathematical modeling, applications to medicine and biology, geometry, parametrization spaces and connectivity
|  | | Kavita Bala |
Assistant Professor
Ph.D., Massachusetts Institute of Technology, 1999 Research focus: Computer graphics - scalable graphics; perceptually-based, realistic rendering; image-based texturing and modeling
|  | | Kenneth P. Birman |
Professor
Ph.D., University of California, Berkeley, 1981 Research focus: Reliability and security in modern networked environments
|  | | Claire Cardie |
Professor
Ph.D., University of Massachusetts, Amherst, 1994 Research focus: Developing corpus-based techniques for understanding and extracting information from natural language texts
|  | | Robert L. Constable |
Professor
Ph.D., University of Wisconsin, Madison, 1968 Research focus: Type theory and automated reasoning
|  | | Shimon Edelman |
Professor (Psychology)
Ph.D., Weizmann Institue of Science, 1988 Research focus: The fields of human and machine cognition (in particular, visual recognition and natural language processing).
|  | | K-Y. Daisy Fan |
Lecturer
Ph.D., Cornell University, 2001 Research focus: The application of systems analysis techniques for water resources and environmental problems
|  | | 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
|  | | Eric Friedman |
Associate Professor (Operations Research and Industrial Engineering))
Ph.D., U.C. Berkeley, 1993 Research focus: Game theory, information technology, and cost allocation
|  | | Johannes Gehrke |
Associate Professor
Ph.D., University of Wisconsin, Madison, 1999 Research focus: Database systems, data mining, mining and monitoring evolving data
|  | | Carla Gomes |
Associate Professor (CIS and Applied Economics and Management)
Ph.D., University of Edinburgh, 1993 Research focus: Solving hard combinatorial problems, with an emphasis on planning and scheduling problems
|  | | Donald P. Greenberg |
Professor 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
Ph.D., Technische Hochschule Muenchen, Munich, 1966 Research focus: Program methodology and related areas; logic; teaching in lower level courses
|  | | Zygmunt Haas |
Professor (Electrical and Computer Engineering)
Ph.D., Stanford University, 1988 Research focus: Mobile and wireless communication and networks, personal communication service, and high-speed communication and protocols.
|  | | Joseph Y. Halpern |
Professor
Ph.D., Harvard University, 1981 Research focus: Representing and reasoning about knowledge and uncertainty in multi-agent systems; security
|  | | Juris Hartmanis |
Professor 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
|  | | Sheila Hemami |
Professor (Electrical and Computer Engineering)
Ph.D., Stanford University, 1994 Research focus: Multirate video coding and transmission, compression specific to packet networks and other lossy networks, and psychovisual considerations.
|  | | John E. Hopcroft |
Professor Turing Award Winner IBM Professor of Engineering and Applied Mathematics
Ph.D., Stanford University, 1964 Research focus: Robust geometric algorithms, modeling and simulation, and information capture and access
|  | | Daniel P. Huttenlocher |
Professor John P. and Rilla Neafsey Professor of Computing, Information Science and Business Stephen H. Weiss Fellow
Ph.D., Massachusetts Institute of Technology, 1988 Research focus: 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 Research focus: Geometric and physical algorithms, computer graphics and animation, haptic rendering, deformable models, interactive physical simulation
|  | | Thorsten Joachims |
Associate Professor
Ph.D., University of 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 with applications to robotics, computer vision, and bio-information
|  | | 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, and sequence assembly.
|  | | Jon Kleinberg |
Professor
Ph.D., Massachusetts Institute of Technology, 1996 Research focus: Algorithm design, with an emphasis on the social and information networks that underpin the Web and other on-line media
that underpin the Web and other on-line media
|  | | Robert Kleinberg |
Assistant Professor
Ph.D., M.I.T, 2005 Research focus: Design and analysis of algorithms, especially randomized and on-line algorithms for networked systems and electronic markets
|  | | Christoph Koch |
Associate Professor
Ph.D., CERN and TU Vienna, 2001 Research focus: Database systems and database theory
|  | | Dexter Kozen |
Professor 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
|  | | Hod Lipson |
Associate Professor (Mechanical and Applied Engineering)
Ph.D., Technion, 1998 Research focus: Robotics, Design Automation, Evolutionary Computation and Artificial Life, Computational Synthesis and Inference of Complex Systems
|  | | Rajit Manohar |
Associate Professor (Electrical and Computer Engineering)
Ph.D., California Institute of Technology, 1998 Research focus: The SNAP project, which develops novel energy-efficient clockless architectures for sensor network applications, and the NoC project which demonstrates asynchronous circuit techniques applied to wireless network modeling.
|  | | Steve Marschner |
Associate Professor
Ph.D., Cornell University, 1998 Research focus: Computer graphics, focusing on realistic rendering, material properties, and high-resolution geometric modeling
|  | | Jose F. Martinez |
Assistant Professor (Electrical and Computer Engineering)
Ph.D., University of Illinois at Urbana-Champaign, 2002 Research focus: Multithreaded and multiprocessor architectures, microarchitecture, and hardware-software interaction
|  | | Andrew Myers |
Associate Professor
Ph.D., Massachusetts Institute of Technology, 1999 Research focus: Security, programming language design and implementation, persistent and distributed object systems
|  | | Anil Nerode |
Professor (Mathematics)
Ph.D., University of Chicago, 1956 Research focus: Mathematical logic, computational theory, recursive mathematics, nonstandard logics, nonmontonic logics, AI, applied mathematics. Control theory, hybrid systems, and complex system design.
|  | | Rafael Pass |
Assistant Professor
Ph.D., M.I.T., 2006 Research focus: Cryptography
|  | | 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
|  | | Bart Selman |
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
|  | | Phoebe Sengers |
Assistant Professor (Information Science & Science and Technology Studies)
Ph.D., Carnegie Mellon University, 1998 Research focus: Ecological Media, or interactive media devices which shape our experience of the environment in our everyday lives
|  | | 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
|  | | Adam Siepel |
Assistant Professor
Ph.D., UC Santa Cruz, 2005 Research focus: Computational applications in comparative and evolutionary genomics
|  | | E. Gun Sirer |
Associate 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: Algorithm Design and Algorithmic Game Theory
|  | | Tim Teitelbaum |
Associate Professor
Ph.D., Carnegie Mellon University, 1975 Research focus: Incremental algorithms for programming languages and development environments
|  | | Charles Van Loan |
Professor John C. Ford Professor of Engineering
Ph.D., University of Michigan, 1973 Research focus: Numerical linear and multilinear algebra
|  | |
Hakim Weatherspoon
|
Assistant Professor
Ph.D., University of California, Berkeley, 2006 Research focus: Fault-tolerance, reliability, security, and performance of Internet-scale systems
|  | | David Williamson |
Professor (CIS and Operations Research and Industrial Engineering)
Ph.D., M.I.T., 1993 Research focus: Algorithms, combinatorial optimization, computer science.
|  | | Ramin Zabih |
Professor
Ph.D., Stanford University, 1994 Research focus: Computer vision and its applications, especially in medical imaging, with an emphasis on the use of combinatorial optimization algorithms
|  |
|