Adam Finney
Adam Finney is a CHERI technologist with over 20 years of systems experience, and a key driver of CHERI adoption. As Lead of the Adoption Programme and Marketing Worki...
View speaker
Speakers
People who have contributed to CHERI Alliance conferences, workshops, webinars, and community events.
Speaker directory
Biographies, affiliations, profile links, and the CHERI talks associated with each person.
Alastair Beresford
Dr Alastair Beresford is a Professor of Computer Security at the University of Cambridge and a Fellow of Jesus College. His research focuses on system security and pri...
View speaker
Alex Rebert
Alex Rebert is an engineer at Google, where he focuses on memory safety. Previously, he co-founded ForAllSecure and led the creation of Mayhem, the autonomous cyber re...
View speaker
Alexander Voyevoda
Alex Voyevoda is a senior systems engineer focused on turning high‑assurance ideas into production systems. With over 30 years of experience in low‑level C systems on ...
View speaker
Alfredo Mazzinghi
Alfredo is a Research Assistant at University of Cambridge and Research Engineer at Capabilities Limited. Their main research interest is on memory safety in operating...
View speaker
Andrew Murray
Andrew Murray is founder and director of The Good Penguin, a UK based consultancy with a focus and passion for embedded Linux, low level and open-source software. The ...
View speaker
Andy Moore
Andy Moore drives awareness and adoption of RISC‑V across its global member ecosystem. As Director of Marketing at RISC‑V International, and with deep prior experience...
View speaker
Ashish Darbari
As founder & CEO of Axiomise, Dr. Ashish Darbari has led the company to successfully deploy the unique combination of training, consulting, services, and verification ...
View speaker
Ben Fletcher
Ben Fletcher has been involved in SoC development for over 25 years. He has worked in design, verification, software, and more recently Architecture. He has worked for...
View speaker
Bradley Finn
Bradley Finn is Head of Cyber Innovation Policy at the UK’s Department for Science, Innovation and Technology. He is responsible for polices and programmes to support ...
View speaker
Carl Shaw
Carl Shaw is a hands-on technical expert with a diverse background in embedded systems and security engineering. His work focuses on the intersection of hardware and s...
View speaker
Dave Harcourt
Dave Harcourt is the CISO for BT International and a BT Fellow, with decades of experience shaping cyber security at scale. He sets security strategy for BT and influe...
View speaker
David Chisnall
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...
View speaker
David Musliner
Dr. David Musliner is a Senior Research Fellow at Smart Information Flow Technologies (SIFT).
View speaker
Dmitriy Yeliseyev
Dmitriy is an embedded systems software architect and technical expert with over 25 years of experience. Their career began in telecommunications, developing embedded ...
View speaker
Domagoj Stolfa
Domagoj Stolfa is a researcher currently working at Capabilities Limited and University of Cambridge. He’s done work on kernels, hypervisors, tracing systems and langu...
View speaker
Donato Ferraro
Donato Ferraro is a Ph.D. student in Computer and Data Science for Technological and Social Innovation at the University of Modena and Reggio Emilia. He works with Min...
View speaker
Edoardo Marangoni
Edoardo has been working with compilers for the majority of his professional career. After working in the Wasm space, he joined SCI Semiconductor and started working o...
View speaker
Gavin Ferris
Dr. Ferris is a technologist and serial entrepreneur. Following his early career at DreamWorks SKG, he co-founded a number of startups including the DSP / digital radi...
View speaker
Hesham Almatary
Hesham’s research interests involve security, operating systems, systems software, and computer architecture. They got their PhD from the University of Cambridge on CH...
View speaker
Javier Orensanz Martinez
Javier is a business leader with over 25 years of experience in the semiconductors industry. He was the general manager of Arm’s tools business unit for 8 years, and i...
View speaker
Jennifer Jackson
Jennifer is an Electronic Engineer with experience in FPGA design, Arm v8.2, computer security, capability architectures, CHERI, LLVM tool chain, RISC-V development an...
View speaker
Jeremy Singer
Jeremy is a Reader in Programming Language Implementation at the University of Glasgow. He is the proud owner (or at least, custodian) of four Arm Morello boxes and tw...
View speaker
Jessica Clarke
Jessica Clarke is a Senior Research Software Engineer at the University of Cambridge, contributing to the maintenance and development of CHERI LLVM and CheriBSD, and h...
View speaker
Jianyi Cheng
Jianyi Cheng is an Assistant Professor in the School of Informatics at the University of Edinburgh. His research aims to automatically produce small, fast, low-energy,...
View speaker
Johannes Müller
Johannes Müller received his Dipl.-Ing. degree in Electrical and Computer Engineering from the Technische Universität Kaiserslautern in 2018. He is currently a Ph.D. c...
View speaker
John Baldwin
John Baldwin has been an active FreeBSD developer for over 25 years working on a broad range of subsystems in the kernel and bits of userspace. John has also contribut...
View speaker
John Goodacre
Prof. John Goodacre: University of Manchester, Director Digital Security by Design: UKRIJohn is Professor of Computer Architectures at the Department of Computer Scien...
View speaker
John Thomson
John works at lowRISC as a senior product manager where he advocates the company’s mission of getting open silicon source everywhere. He worked on delivery of key proj...
View speaker
Jonathan Woodruff
Dr Jonathan Woodruff is a Senior Research Associate with expertise in processor architecture and microarchitecture as well as low-level software optimisation. Speciali...
View speaker
Joshua Lant
Joshua Lant is a Research Associate in the Department of Computer Science at the University of Manchester. He has been in the Advanced Processor Technologies group sin...
View speaker
Ka Wing Li
Ka Wing Li is a PhD student from the University of Cambridge. He focuses on computer security, with backgrounds in compilers, programming languages, operating systems ...
View speaker
Kathleen Fisher
Kathleen Fisher has been instrumental in bringing CHERI from research into national programmes. A long‑standing leader in secure systems and programming languages, she...
View speaker
Kevin Brodsky
Kevin Brodsky is a software engineer at Arm, specializing in the Morello project and the Morello Linux kernel.
View speaker
Louis-Emile Ploix
Louis-Emile is a current undergraduate at the University of Oxford, and a formal verification engineer for lowRISC working on the COSMIC project.
View speaker
Luca Müller
Luca Müller received the M.Sc. degree in computer science from University of Bremen in 2025. He is currently a Researcher in the Cyber-Physical Systems Group at the Ge...
View speaker
Maika Föhrenbach
Maika Föhrenbach connects CHERI to Europe’s regulatory future. She leads product security and certification policy at the European Commission and coordinates implement...
View speaker
Manu Ravishankar
Manu Ravishankar is a Principal Consultant specialising in innovation strategy, programme design and technology commercialisation. Formerly Head of Insights and Impact...
View speaker
Mark Batty
Mark Batty has played a key role in the effort to building foundational specifications for mainstream systems, focusing on concurrency in the pervasive C and C++ langu...
View speaker
Mark Hill
Dr Mark B. Hill, BEng PhD CEng MIETMark is Lead CPU Architect at Codasip and has 30 years industrial experience in processor and processor subsystem design and develop...
View speaker
Marno van der Maas
Dr Marno van der Maas completed a PhD at the University of Cambridge in 2022 on protecting trusted execution environments from side-channel attacks. During this time, ...
View speaker
Martin Atkins
Martin is a software consultant with over 35 years of experience in research, and commercial development projects in the UK and abroad. Technical areas have included s...
View speaker
Merve Gülmez
Merve Gülmez is a researcher at Ericsson Security Research. She holds a PhD in Computer Science from KU Leuven, and her research focuses on systems security, memory sa...
View speaker
Mike Eftimakis
Mike Eftimakis has an extensive background in the semiconductor and electronics industry with 30 years in senior technical and business roles. He has a rich history of...
View speaker
Ollie Whitehouse
Ollie is a fellow of the Royal Academy of Engineering whose career in cyber security spans over 30 years. Today he serves as the Chief Technical Officer for the Nation...
View speaker
Paul Metzger
Dr Paul Metzger is a Research Associate in the Department of Computer Science and Technology at the University of Cambridge. He recently started working on CHERI OS AP...
View speaker
Paul Waller
Paul Waller works on advancing practical, deployable cyber security at national scale. At the NCSC, he focuses on how technologies like CHERI and memory safety transla...
View speaker
Peter Cox
Peter Cox is the CEO and founder of UM Labs, a UK R&D company specialising in cybersecurity for real-time application on IP networks. Peter has over 30 years’ experien...
View speaker
Phil Day
Phil is the Director of Engineering at Configured Things, a startup founded by Alumni from Hewlett Packard Labs to build solutions that can operate resiliently across ...
View speaker
Robert Watson
Professor Robert N. M. Watson is a Professor of Systems, Security, and Architecture at the University of Cambridge’s Department of Computer Science and Technology. His...
View speaker
Sam Cater
Sam is a Research Technical Manager within BT’s Research and Commercialisation department, focussing on Cybersecurity technologies. Throughout his career, he has held ...
View speaker
Samuel Stark
Samuel W. Stark is a final-year PhD student at the University of Cambridge, studying alternate capabilty systems under Simon W. Moore, with a published article on the ...
View speaker
Simon Moore
Professor Simon Moore is Professor of Computer Engineering at the University of Cambridge, where he leads research in computer architecture with a focus on secure and ...
View speaker
Tariq Kurd
Tariq Kurd has been involved in CPU architecture, design, and verification for over 25 years, primarily in the embedded field. He has worked on VLIW, multithreading, o...
View speaker
Thomas Nyman
Thomas Nyman holds a position as Expert in Trusted Hardware & Software Technologies at the telecommunications company Ericsson where he works with software and platfor...
View speaker
Tora Fridholm
Tora Fridholm is an experienced B2B marketing professional with a focus on transforming complex technology into clear, value-driven messaging. Currently, she leads mar...
View speaker