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.

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.


Faculty Members


Centers & Initiatives

MEM-C is a NSF Materials Research Science and Engineering Center that integrates materials innovations with theory and computation to advance spin-photonic nanostructures and elastic layered quantum materials, aided by an “AI Core” that integrates artificial intelligence-driven materials discovery.

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


UW News

Iyer, co-director of the interdisciplinary CS for the Environment Initiative, was recognized among the 2026 class of fellows for his early-career efforts to address sustainability challenges — from recyclable electronics, to battery-free robotics, to AI-optimized hardware design.

Allen School News

The fellowship will support Zhang’s work in sustainable ubiquitous computing, including the development of recyclable electronics and leveraging artificial intelligence to estimate carbon footprints and provide personalized health insights.

Allen School News

In a Q&A, professor Kurtis Heimerl and postdoc Esther Han Beol Jang (Ph.D., ‘24) discuss their work with residents of two Seattle tiny house villages on how they can leverage smart technologies to improve living conditions, balanced against concerns such as cost and continuity of deployment.