Faculty by Research Area

Algorithms and Theory

Chandra Chekuri - Algorithms, optimization, theoretical computer science
Jeff Erickson - Algorithms, data structures, and lower bounds; computational and discrete geometry.
Sariel Har-Peled - Geometric approximation algorithms
Lenny Pitt - Artificial intelligence and theoretical computing.
Manoj Prabhakaran - Cryptography, other topics in Theoretical Computer Science

Eyal Amir - Artificial intelligence, algorithms, knowledge representation, automated reasoning, robotics, virtual worlds
Jerry DeJong - Artificial Intelligence and Machine Learning
Margaret Fleck - Natural Language Processing
Julia Hockenmaier - Natural Language Processing (Computational Linguistics) and Computational Biology
Dan Roth - Machine Learning, Natural Language Processing, Knowledge Representation and Reasoning

David Forsyth - Artificial intelligence, computer vision, machine learning.
Steven M. LaValle - Robotics, motion planning, artificial intelligence, computer vision, computer graphics, and control theory.

Sarita Adve - Computer architecture, reliable hardware and software, low-power systems, parallel computing, performance evaluation methods.
Josep Torrellas - Parallel and sequential computer architecture, processor-memory integration, thread-level speculation, low power design, and reliability.
Craig Zilles - Computer architecture, dynamic optimization, compiler construction, simulation methodologies, and software engineering.

Vikram Adve - Compilers, software reliability, performance modeling and analysis, and computer architecture.
David Padua - Computer architecture and systems, parallel computing, and compilers.
Maria J. Garzaran - Compilers, hardware and software interaction, computer architecture.

Laxmikant Kale - Numerical, parallel and scientific computing, and operating systems.
Marc Snir - Large scale parallel and distributed systems; parallel computer architecture; grid computing; and parallel programming.

Saurabh Sinha - Gene regulation, Comparative Genomics, Sequence Analysis, Evolution.

Guy E. Garnett - Composition, interactive computer performance, music theory, analysis, aesthetics, and their confluences.

Kevin C. Chang - Internet information access, data integration, and ranked Query processing.
Jiawei Han - Data mining, data warehousing, and stream, spatiotemporal, Web, and bio data analysis.
Marianne Winslett - Information security, management of scientific data.
ChengXiang Zhai - Information retrieval, natural language processing, bioinformatics.

John Hart - Computational topology, geometric modeling, graphics hardware, implicit surfaces, scientific visualization, visibility.
Yizhou Yu - Animation, appearance modeling, image and video processing, vision-based graphics.

Brian P. Bailey - Multimedia authoring and design, human-computer interaction.
Karrie Karahalios - Designing and implementing communication channels for interaction between people in networked environments.

Tarek Abdelzaher - Sensor networks, software performance control, embedded and real-time systems, ad hoc wireless networks
Matthew Caesar (arriving Fall 2008) - Wide area networks and networked systems. Internet routing, measurement, and protocols
Indranil Gupta - Distributed systems and protocol.
Robin Kravets - Mobile computing and communication
Klara Nahrstedt - Multimedia middleware, pervasive computing, QoS management and routing.

Roy Campbell - Distributed operating systems and security.
Carl A. Gunter - Security, networks, software engineering, programming languages.
Sam King - Security, operating systems, experimental software systems, and virtual machines.

Marco Caccamo - Real-time operating systems, real-time scheduling and resource management.
Lui Sha - Distributed real-time computing systems, dynamic real-time architecture.

Gul Agha - Distributed systems, parallelism, coordination, real-time behavior.
Elsa Gunter - Software engineering, programming languages, and formal methods.
Jose Meseguer - Formal executable specification and verification; software composition, software architecture.
Madhusudan Parthasarathy - Software engineering, formal methods.
Grigore Rosu - Software, design, semantics and implementation of programming and specification languages.
Mahesh Viswanathan - Development of formal models for system specification and implementation of software tools for program analysis.

Sam Kamin - Programming languages, software components, and denotational semantics, program specification and verification.

Mehdi Harandi - Artificial intelligence, information systems, HCI, software engineering.
Ralph Johnson - Object-oriented design, design patterns, frameworks, and software architectures.
Darko Marinov - Improving software reliability, software testing, theorem proving, model checking, and rich specification languages.

Stephen Bond - Numerical analysis, scientific computing and biomolecular modeling.
William Gropp - High performance scientific computing, with particular emphasis on parallel computing.
Michael T. Heath - Numerical analysis and scientific computing: numerical linear algebra and optimization.
Anil Hirani - Numerical analysis, Discrete Exterior Calculus, differential geometry, computational mechanics, computational astrodynamics
Luke Olson - Numerical analysis, scientific computing, large-scale simulation