Biography
David Chisnall has been working on CHERI since 2012, when he joined the University of Cambridge to lead the languages and compiler work on the CHERI project. He joined Microsoft in 2018, where he adapted several in-house ISAs to CHERI, worked on high-performance server-class CHERI implementations, and also created and led the CHERIoT project, which Microsoft open sourced in 2023. He is a co-founder of SCI Semiconductor, which is building CHERIoT microcontrollers. Along with Yucong Tao (Microsoft) and Ben Laurie (Google), he is a co-maintainer of the CHERIoT platform.
CHERI Talks
CHERIoT-Kudu | CHERI Blossoms 2026
26/03/2026
Cambridge, UK
CHERIoT Audit | CHERITech’25
14/11/2025
Manchester, UK
CHERIoT 2025 | CHERI Blossoms 2025
02/04/2025
Cambridge, UK