Research

Computer Architecture

Our computer architecture group strives to answer questions like: How can we design future multi- and manycore architectures to have better performance, spend less power and be easier to program—all at a lower cost? How can we design for 3-D integration technologies, or hardware and software for future graphics processors (GPUs)?

Databases

Our database group focuses on data management in mobile and location-based services, sensor and stream-based data management, modeling of bioinformatics and climate data, privacy-preserving data mining, outlier detection and analysis, text mining of biomedical literature, workflow and business process management, and performance analysis in distributed, parallel and cloud-based settings.

Information Security

We offer a rich and comprehensive information-security curriculum, with courses in foundational and applied aspects of cryptography, networks, systems and software security, and policies and strategies. A hands-on teaching laboratory allows students to assess security of realistic systems and experiment with techniques that can be used to protect them against specific types of threats.

Programming Languages and Compilers

Our programming languages and compilers group works on a range of issues, from abstractions for expressing parallelism, security and real-time properties, to program analysis and compiler optimization techniques, to managed run-times and dynamic optimizations, for such systems as multi- and many-core processors, and embedded and mobile systems.

Networks

Our networking research spans many topics, including network security and management, protocols for next-generation networks, economics of networks and network monitoring and measurement. Among our high-impact projects are topology generation, multicast and anycast, transport protocols for disruption-tolerant networks, bandwidth estimation, data-streaming techniques and spam filtering.

Software Engineering

Our software engineering group works on development and maintenance of software, with the overall goal of creating high-quality software. To achieve this goal, we perform research in software testing, program analysis, program understanding, modeling and design, failure analysis, fault localization, debugging, remote monitoring, human and social aspects of software engineering, and software engineering education.

Systems

Our research approach in computer systems is experimental, drawing on expertise in measurement, modeling, language constructs and compilation, resource management and scheduling, and computer hardware. Our group conducts research in complex computer software and hardware systems, including their development and use and the principles underlying their design.

Theory

Our theory group is a leader in combinatorial optimization, approximation algorithms and discrete random systems, complexity theory, randomized algorithms and stochastic processes, algorithmic game theory, spectral methods, high-dimensional geometry and continuous optimization, network models and algorithms and learning theory.