David Chisnall

SCI Semiconductor

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.

David Chisnall

CHERI Talks

CHERIoT 2025 | CHERI Blossoms 2025

02/04/2025

Cambridge, UK