Our researchers are driving innovation across the entire hardware, software and network stack to make computer systems more reliable, efficient and secure.
From internet-scale networks, to next-generation chip designs, to deep learning frameworks and more, we build and refine the devices and applications that individuals, industries and, indeed, entire economies depend upon every day.
Research Groups & Labs
Programming Languages & Software Engineering Group (PLSE)
The Programming Languages and Software Engineering Group advances fundamental research and practical applications in programming environments, program analysis, language design, synthesis, compilers, testing, verification and security.
Security and Privacy Research Lab
The Security and Privacy Research Lab works on a variety of topics, ranging from studying and addressing security and privacy risks in existing technologies, to anticipating future risks in emerging technologies.
Faculty Members
Centers & Initiatives
The UW Center for the Future of Cloud Infrastructure (FOCI) aims to foster a tight partnership between practitioners and researchers in both industry and academia to define the next generation of cloud infrastructure to achieve new levels of security, reliability, performance along with cost-efficiency and environmental sustainability.
The NSF AI Institute for Agent-based Cyber Threat Intelligence and Operation (ACTION) seeks to change the way mission-critical systems are protected against sophisticated, ever-changing security threats. In cooperation with (and learning from) security operations experts, intelligent agents will use complex knowledge representation, logic reasoning, and learning to identify flaws, detect attacks, perform attribution, and respond to breaches in a timely and scalable fashion.
Highlights
GeekWire
At the Allen School’s Research Showcase and Open House, school leaders celebrated the work of faculty and student researchers — and offered a blueprint for collaboratively tackling a set of human-centered problems for even greater impact.
Allen School News
Kasikci was recognized for his work developing techniques for systems that are both efficient and dependable, which can help prevent bugs that can lead to data loss, security vulnerabilities and costly critical infrastructure failures.
Allen School News
Mahajan (Ph.D., ‘05) was recognized for his work on Batfish, an open source network configuration analysis tool that helps find errors and prevent costly outages that could disrupt air travel, banking, communications and more.