Research Interests of the Faculty and Researchers

Stuart 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.

Paul Stodghill:  

É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.