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
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.
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
Professor
Professor
Assistant Professor
Professor
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.
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
Science World
Murphy (Ph.D., ‘96), professor and former Vice-President Research and Innovation at the University of British Columbia, will lead the Vancouver, BC organization’s efforts to engage learners in STEAM (science, technology, engineering, art & design and math).
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.