- Board role
- Director of Systems Architecture
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