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
Quantum Group
The Quantum Group does research on a variety of topics in quantum information and computation (primarily on the theory side), including quantum complexity theory, error-correction, cryptography, algorithms, and learning.
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.
Allen School Faculty
Assistant Teaching Professor
Professor
Associate Professor
Assistant Professor
Centers & Initiatives
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.
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.
Highlights
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.
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.