Skip to content

Software & Hardware Systems

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

Purple-tinted English QWERTY keyboard

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.

A hand stacking square blocks in ascending heights like a graph

Interactive Data Lab

The Interactive Data Lab aims to enhance people’s ability to understand and communicate data through the design of new interactive systems for data visualization and analysis.


Allen School Faculty

Professor

Associate Professor

Professor & Director


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.

The eScience Institute empowers researchers and students in all fields to answer fundamental questions through the use of large, complex, and noisy data. As the hub of data-intensive discovery on campus, we lead a community of innovators in the techniques, technologies, and best practices of data science and the fields that depend on them.

Highlights


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.

KUOW Soundside

Researcher Chris Takahashi describes how the Molecular Information Systems Lab encoded historical documents from the Library of Congress in synthetic DNA for a time capsule marking America’s 250th anniversary.

UW News

Professors David Kohlbrenner and Franziska Roesner (Ph.D., ‘14) of the Allen School’s Privacy & Security Research Lab found that browser agents are susceptible to cyberattacks by violating the same-origin policy, a cornerstone of modern web security that has safeguarded users for 30 years.