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.
Cryptography Research Group
The Cryptography Group advances the foundations and applications of cryptography, including public-key and symmetric cryptography, obfuscation, attribute-based and functional encryption, secure multi-party computation, quantum cryptography and more.
Faculty Members
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.
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
Kasikci was recognized for his work developing techniques for systems that are both efficient and dependable, which can help prevent bugs that can lead to data loss, security vulnerabilities and costly critical infrastructure failures.
Allen School News
Mahajan (Ph.D., ‘05) was recognized for his work on Batfish, an open source network configuration analysis tool that helps find errors and prevent costly outages that could disrupt air travel, banking, communications and more.
Allen School News
Winners Andrew Alex and Megan Frisella aim to advance research in user-scheduled programming languages, while fellow Allen School winner Zixian Ma and UW ECE collaborator Yushi Hu will develop multi-modal AI agents capable of performing complex tasks.