Dependable Systems: This group, headed by Rodrigo Rodrigues, focuses on building reliable, highly-available software systems, by improving the methods used to build such systems.
Distributed Systems and Operating Systems: This group, headed by Peter Druschel, conducts research in the design, implementation and evaluation of computer systems.
Information Security and Cryptography: This group, headed by Michael Backes, conducts research in theoretical foundations and applied aspects of information security and cryptography.
Large Scale Internet Systems: This group, headed by Paul Francis, attacks problems associated with Internet routing and addressing, overlay networks, Internet security, and cloud computing.
Networked Systems: This group, headed by Krishna Gummadi, conducts research in both experimental and theoretical aspects of networked systems design.
Programming Languages and Systems: This group, headed by Umut Acar, researches the foundations, design, and implementation of programming languages and systems.
Rigorous Software Engineering: This group, headed by Rupak Majumdar, focuses on algorithms, tools, and methodologies to build complex yet reliable software systems.
Software Analysis and Verification: This group, headed by Viktor Vafeiadis, conducts research on formal reasoning about software systems.
Type Systems and Functional Programming: This group, headed by Derek Dreyer, conducts research in both the theoretical and practical aspects of modern programming language design, with a primary focus on type systems and functional programming.
Verification Systems: This group, headed by Andrey Rybalchenko, conducts research on algorithms and tools for the automated analysis and verification of software systems.
Career opportunities:
New buildings:
Lectures:
Computing research organizations in the surrounding area:
