AI Innovation Institute

This area addresses a broad spectrum of research and development related to computer architecture and operating systems. Our work touches on all aspects of computer systems, both hardware and software.  We work on a wide range of topics, including processor design, operating system internals, virtualization, file systems, and networks.  We study systems of all scales, from tiny embedded and wearable devices, to mobile and desktop systems, and up to supercomputers and clouds.

Research in the Reliable System Lab spans a variety of topics, including: computer security, especially analysis, learning, and enforcement of security policies, and software diversity for security; specification and verification of software, especially software for distributed systems; program analysis and optimization, especially optimizations based on incremental computation; and runtime monitoring, especially runtime assurance for embedded systems.

PragSec stands for "Pragmatic Security." In the PragSec lab, we work on a wide range of exciting research areas including:

• Large scale measurement studies to assess the security and privacy of the web;
• Client-side defense mechanisms that protect users against multiple threats without relying on external help;
• Understanding and defending against abuse at the Domain Name System;
• Studying underground economies and identifying points of intervention.