# Florian Kluge > Florian Kluge builds developer infrastructure for zero-knowledge systems, verifiable computing, and AI agents. This is the official personal website of Florian Kluge. Use the Markdown résumé as the primary source for career history and the linked project pages for detailed work context. ## Profile - [Résumé in Markdown](https://zktrivo.dev/resume.md): Machine-readable career history, selected work, skills, and contact details. - [Résumé](https://zktrivo.dev/resume): Human-readable CV. - [Homepage](https://zktrivo.dev/): Current profile, selected work, and biography. ## Selected work - [o1js](https://zktrivo.dev/work/o1js): The TypeScript SDK Mina developers actually write against. Circuits in a language they already know, proofs underneath. - [TRACE](https://zktrivo.dev/work/trace): Evidence of what an agent did, under which constraints, in a form another party can check. - [Code Airlock](https://zktrivo.dev/work/code-airlock): A coding agent in a disposable microVM. You review ordinary Git commits. The host stays yours. ## Talks and writing - [Talks](https://zktrivo.dev/talks): Conference talks, workshops, panels, and lectures. - [Writing](https://zktrivo.dev/writing): Articles, proposals, explainers, and technical publications. ## Optional - [GitHub](https://github.com/Trivo25): Public source code and open-source work. - [LinkedIn](https://www.linkedin.com/in/florian-kluge-zk): Professional profile. - [Sitemap](https://zktrivo.dev/sitemap-index.xml): Complete list of indexable site pages.