Skip to content

Martin Kleppmann

Student Projects
About/Contact
Supporters

Keynote: Title TBD

A talk at 30th Conference on Principles of Distributed Systems (OPODIS), Madrid, Spain, 09 Dec 2026

Subscribe

To find out when I write something new, sign up to receive an email notification, follow me on Bluesky or Mastodon, or subscribe to the RSS feed.

I won't give your email address to anyone else, won't send you any spam, and you can unsubscribe at any time.

My book

My book, Designing Data-Intensive Applications, has received thousands of five-star reviews.

I am an Associate Professor working on local-first software and security protocols at the University of Cambridge. If you find my work useful, please support me on Patreon.

Recent posts

08 Dec 2025: Prediction: AI will make formal verification go mainstream
05 Jul 2024: Pudding: user discovery for anonymity networks
04 Jan 2024: 2023 year in review
12 Oct 2022: Verifying distributed systems with Isabelle/HOL
03 Jan 2022: Book Review: The Future of Fusion Energy
Full archive

Conference talks

09 Dec 2026 at 30th Conference on Principles of Distributed Systems (OPODIS)
24 Sep 2026 at 45th International Symposium on Reliable Distributed Systems (SRDS)
12 Jul 2026 at Local-First Conference
17 Mar 2026 at QCon London
24 Feb 2026 at Local First (LoFi) meetup
Full archive

Unless otherwise specified, all content on this site is licensed under a Creative Commons Attribution 3.0 Unported License. Theme borrowed from Carrington, ported to Jekyll by Martin Kleppmann.