Skip to content

Theory & Models of Computation

Our study of the theoretical foundations of computing spans algorithm design and analysis, complexity, optimization, cryptography, quantum and more.

We seek to answer fundamental and long-standing questions about the capabilities and limitations of our field, which has practical implications in economics, logistics, social welfare, transportation and many other real-world domains.


Research Groups & Labs

Three padlocks of different sizes linked by a chain

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.

Database Group cover image of a mountain

Database Group

The Database Group advances both theoretical and systems work in probabilistic databases, stream processing, sensor-based monitoring, databases and the web, XML, image/video data management, data management for machine learning, data mining and more.


Faculty Members

Adjunct Faculty

Faculty


Centers & Initiatives

UW MEM-C logo

Molecular Engineering Materials Center (UW-MEMC)

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.

eScience Institute logo

eScience Institute

The eScience Institute empowers researchers and students in all fields to answer fundamental questions through the use of large, complex, and noisy data. As the hub of data-intensive discovery on campus, we lead a community of innovators in the techniques, technologies, and best practices of data science and the fields that depend on them.

Highlights