Papers

Formal research from the lab. Each paper states a problem precisely, frames it as a system you can design, and argues toward a buildable solution. If a paper has a PDF or companion artefact, you’ll find it linked inline.