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
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.
Computer Systems Lab
The Computer Systems Lab works on research covering a number of areas in operating systems, distributed systems, computer architecture and security.
Allen School Faculty
Associate Professor
Professor
Professor
Assistant Professor
Centers & Initiatives
AI@UW aims to push the boundaries of AI technology in service to the public good by advancing ethical, interdisciplinary AI research while fostering practical innovation to benefit society at large.
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.
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.