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
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.
Database Group
The UW Database Group does theoretical, systems and user-centered work in multimodal database management systems; generative AI and data management; complexity of query evaluation and optimization; scalable, interactive data visualization; and more.
Allen School Faculty
Professor
Associate Professor
Assistant Teaching Professor
Professor
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
Researchers in the Programming Languages & Software Engineering (PLSE) group introduced egg, an open-source library that uses e-graphs along with equality saturation to optimize term representations. Their paper was recently featured as a Communications of the ACM Research Highlight.
Allen School News
Grossman, who has served as vice director of the school for the past nine years and is a recognized leader in programming languages education and research, will succeed Magdalena Balazinska at the conclusion of her term on August 17.
Allen School News
In the award-winning paper, Nirkhe and his collaborators resolved a longstanding problem in quantum complexity theory by proving that quantum proofs are computationally more powerful than classical proofs.