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 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.
IFDS organizes its research around four core themes: complexity, robustness, closed-loop data science, and ethics and algorithms. By making concerted progress on these fundamental fronts, IFDS aims to lower several of the barriers to better understanding of data science methodology and to its improved effectiveness and wider relevance to application areas.
Highlights
Allen School News
In the award-winning paper, Tang developed the first quantum state obfuscation scheme for unitary quantum programs, which are the backbone of quantum computing, in the classical oracle model. He presented the research at the 66th IEEE Symposium on Foundations of Computer Science last December.
GeekWire
Allen School undergraduate Prisha Hemani and teammates won the grand prize in the 2026 Hollomon Health Challenge for CPRight, a real-time CPR feedback device. The annual competition is hosted by the UW’s Buerk Center for Entrepreneurship in the Foster School of Business.
Allen School News
The Association for Computing Machinery (ACM) recognized Mahajan (Ph.D., ‘05) among its 2025 class of ACM Fellows for his groundbreaking “contributions to network verification and network control systems and their transfer to industrial practice.”