David Chisnall

David Chisnall is the Director of Systems Architecture at SCI Semiconductor, where he leads the evolution of the CHERIoT platform, across hardware and software. He is a former Principle Researcher at Microsoft, where he worked on a variety of ISA design projects, including clean-slate architectures and extensions to the 64-bit Arm architecture. He is also a Visiting Researcher at the University of Cambridge. His career has spanned operating systems and compilers, as well as hardware. He was twice elected to the FreeBSD core team and is the author of the Definitive Guide to the Xen Hypervisor. He has been an LLVM contributor since 2008 and taught the Masters compiler course at the University of Cambridge.