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

Closeup of silicon chip technology

Bespoke Silicon Group

The Bespoke Silicon Group aims to bring hardware design to its highest art and rapidly conceive of, design and implement entirely new kinds of hardware faster than has ever been done before.

Gloved hands piping liquid into a smalll rectangular nanopore device connected to a laptop

Molecular Information Systems Lab (MISL)

MISL explores the intersection of information technology and molecular biology using in-silico and wet lab experiments, drawing upon expertise from computer architecture, programming languages, synthetic biology and biochemistry.


Allen School Faculty

Professor

Associate Professor

Professor & Interim 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.

Society + Technology is a cross-campus, cross-disciplinary initiative and community at the University of Washington that is dedicated to research, teaching and learning focused on the social, societal and justice dimensions of technology.

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.