Semantics and AI
How models represent meaning, and how to prove what theyβve learned.
The mathematics of meaning, superposition, and secrecy.
An independent research lab working on the foundations of AI, quantum computing, and cryptography.
Research
Quantum computation
Algorithms and error correction for machines that compute in superposition.
Cryptography
Lattice-based schemes built to hold up against quantum attackers.