Research Interests of the Faculty and Researchers
Allen: Making computer-manipulable formal data an adjunct to, and a
medium for, precise human expression, especially argument. This involves design,
justification, and employment of practical formal systems and notations.
William Arms: Digital libraries, electronic publishing.
Kavita Bala: Interactive rendering, global illumination algorithms, hybrid hardware and software techniques for modeling and rendering, image-based modeling and rendering, inverse rendering, augmented reality, interval analysis techniques and applications.
Graeme Bailey: Mathematical modeling, applications to medicine and biology, geometry, parametrization spaces and connectivity.
Kenneth P. Birman: Reliability and security in modern networked environments.
Martin Burtscher: High-performance processor architecture, instruction level parallelism, value prediction, data compression, and compiler optimizations.
Claire Cardie: Developing corpus-based techniques for understanding and extracting information from natural language texts.
Rich Caruana: Machine learning and data mining, medical decision making and bio-informatics, feature selection, missing values, inductive transfer (e.g., multitask learning), artificial neural networks, memory-based learning.
L. Paul Chew: Geometric algorithms with an emphasis on practical applications.
Thomas F. Coleman: Design and understanding of practical and efficient numerical algorithms for large-scale continuous optimization problems.
Robert L. Constable: Type theory and automated reasoning.
Alan Demers: Database systems, database replication, and algorithms.
Ron Elber: Computational molecular biology, genomics.
Daisy Fan: the application of systems analysis techniques for water resources and environmental problems.
Johannes Gehrke: Database systems, database mining.
Carla Gomes: Artificial intelligence, operations research, planning and scheduling.
Donald P. Greenberg: Developing physically based lighting models and perceptually based rendering procedures to produce images that are visually and measurably indistinguishable from real world images.
Zygmunt Haas: Wireless communications and mobile systems.
Joseph Y. Halpern: Representing and reasoning about knowledge and uncertainty in multi-agent systems.
Juris Hartmanis: Computational complexity, complexity of chaotic systems.
Mark Heinrich: Computer architecture, parallel computer architecture, scalable cache coherence protocols, multiprocessor design and simulation methodology, and hardware/software co-design.
Sheila Hemami: Application-specific video and still image coding and transmission.
John E. Hopcroft: Information capture and access.
Daniel P. Huttenlocher: Computer vision, specifically the problems of model-based recognition, geometric shape comparison, and the computation of visual correspondence.
Thorsten Joachims: Machine learning, especially Support Vector Machines and learning with natural language text.
Klara Kedem: Computational geometry.
Jon Kleinberg: Design of efficient algorithms, with an emphasis on combinatorial optimization, discrete algorithms for networks, and problems in high-dimensional geometry.
Dexter Kozen: Theory of computational complexity, especially complexity of decision problems in logic and algebra, program logics and semantics, and computational algebra.
Dean Krafft: Digital libraries.
Christoph Kreitz: Automated reasoning, program transformation, verification & synthesis.
Carl Lagoze: Digital libraries.
Lillian Lee: Natural language processing and machine learning.
Yuying Li: Numerical optimization and scientific computation, application to medical, engineering, and economic problems.
Hod Lipson: Computational synthesis.
Rajit Manohar: Computer architecture, asynchronous VLSI design, concurrent and distributed systems.
Steve Marschner: 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.
Jeanna Matthews: File systems, storage systems and more generally operating systems and distributed systems.
J. Gregory Morrisett: Programming language and compiler technology, specifically high-level language facilities for reliable, secure, and high-performance systems software.
Andrew C. Myers: Security, programming language design and implementation, persistent and distributed object systems.
Anil Nerode: Mathematical logic, recursive functions, computer science, mathematics of AI, control engineering.
Keshav K. Pingali: Programming languages and compilers for high-performance architectures, specifically for engineering and scientific simulations.
Robbert van Renesse: Software tools and environments for reliable, secure distributed computing.
Radu Rugina: Program analysis with emphasis on pointer analysis, automatic parallelization techniques, and analysis of multithreaded programs.
Fred B. Schneider: Concurrent and distributed systems for high-integrity, mission-critical settings.
David Schwartz: Computational mechanics, applied mathematics and educational technology.
Bart Selman: 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: Internet data management, database systems, transaction processing in emerging system architectures.
David B. Shmoys: Design and analysis of efficient algorithms for discrete optimization problems, in particular approximation algorithms for NP-hard problems.
Emin Gün Sirer: Operating systems, compilers and architecture, concentrating on secure, extensible and distributed systems.
W. Evan Speight: User-level network protocols, fault tolerant computing, parallel computer architecture, distributed systems, and operating systems research.
Éva Tardos: Combinatorial optimization problems relevant to the design, maintenance, and management of high-speed communication networks.
Tim Teitelbaum: Incremental algorithms for programming languages and development environments.
Charles Van Loan: Matrix computation, numerical analysis.
Stephen A. Vavasis: Design and analysis of efficient algorithms to solve large-scale scientific problems.
Werner Vogels: Software tools and environments for reliable, secure distributed computing.
Golan Yona: Computational molecular biology and machine learning.
Ramin Zabih: Computer vision and medical imaging.