/
lectern.tv
Play15s30s1x0:00/--:--
DoneWatched
Expand
University of Cambridge·Martin Kleppmann
44:37
0:00/44:37
Type below to lock the video timestamp, or press S to capture a slide.
Type below to lock the video timestamp, or press S to capture a slide.
Martin Kleppmann introduces Isabelle/HOL as a tool for formal verification, demonstrating its application in proving the correctness of complex distributed systems.
Professor
Associate Professor at the University of Cambridge, researcher in local-first software and CRDTs, and author of Designing Data-Intensive Applications.
Visiting lecturer and colloquium speaker at GOTO Conferences (University of Cambridge faculty).
Visiting lecturer and colloquium speaker at Hydra (University of Cambridge faculty).
