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.
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
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 UW Center for the Future of Cloud Infrastructure (FOCI) aims to foster a tight partnership between practitioners and researchers in both industry and academia to define the next generation of cloud infrastructure to achieve new levels of security, reliability, performance along with cost-efficiency and environmental sustainability.
Highlights
Allen School News
In 2011, a team of researchers that included Allen School professor and alum Franziska Roesner published a paper detailing how they could remotely take control of a car. Their work, which inspired new motor vehicle security standards, received the USENIX Test of Time Award.
GeekWire
After nearly half a century at UW — and at the intersection of Seattle tech, education and civic life — Lazowska is logging off from his official duties. But he’s not completely shutting things down, with plans to stay involved in the community and focus on “the big problems.”
Allen School News
Cardinality estimation helps guide decisions on every aspect of query execution, but current methods often have large errors. To address this, Suciu introduced a more accurate and efficient cardinality estimator, LpBound, which provides a guaranteed upper bound on the query output size.