People who have contributed to CHERI Alliance conferences, workshops, webinars, and community events.
Biographies, affiliations, profile links, and the CHERI talks associated with each person.
Speaker directory
60 results
No entries match. Try fewer terms or reset the filters.
-
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 Working Group, he focuses on turning security into something developers and businesses can actually use. Adam has worked at the sharp end of the stack—from porting Linux to Morello to shaping next‑generation CHERI‑enabled FPGA platforms and developer boards.
View profile
-
Alastair Beresford
Dr Alastair Beresford is a Professor of Computer Security at the University of Cambridge and a Fellow of Jesus College.
View profile
-
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 reasoning system that won the 2016 DARPA Cyber Grand Challenge. He was recognized by MIT Technology Review as one of the 35 Innovators Under 35 and by Forbes’s 30 Under 30.
View profile
-
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 Linux, he leads the implementation of Unicus Edge on Morello CHERI at UM Labs — bringing capability‑based memory safety and post‑quantum cryptography into real‑world streaming and IoT deployments.
View profile
-
Alfredo Mazzinghi
Alfredo is a Research Assistant at University of Cambridge and Research Engineer at Capabilities Limited.
View profile
-
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 Good Penguin has contributed to the ISCF Digital Security by Design programme, developing and maintaining ARM’s official Morello Yocto distribution. Before founding The Good Penguin, Andrew established Embedded Bits, an embedded Linux consultancy, which is now the UK presence for Witekio.
View profile
-
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 at Arm, he brings a rare mix of processor IP marketing and hands‑on engineering.
View profile
-
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 IP to various customers. Ashish has expertise in all aspects of formal methods, including theorem proving, property and equivalence checking.
View profile
-
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 Codasip for 2 years, and is currently working on performance models and architectures of out-of-order cores, along with SoC developments (all featuring CHERI technology).
View profile
-
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 the growth of the cyber sector across the UK and help innovators develop world leading cyber tech.
View profile
-
Carl Shaw
Carl Shaw is a hands-on technical expert with a diverse background in embedded systems and security engineering.
View profile
-
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 influences direction across industry, driven by a clear principle: make secure‑by‑default the easiest path to follow. His focus is on security that actually gets adopted.
View profile
-
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 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.
View profile
-
David Musliner
Dr. David Musliner is a Senior Research Fellow at Smart Information Flow Technologies (SIFT).
View profile
-
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 software for network systems. Over time, they transitioned into industrial automation and later specialized in safety-critical industries such as medical devices, aerospace, and defense. Since 2010, They have been with Wind River GmbH, focusing on system architecture, advanced technology research, and compliance with industry standards. Previously, they contributed to software architecture and embedded solutions at Hermes SoftLab and worked on telecommunication infrastructure at IskraTEL. They hold a Master’s degree in Computing and Intelligent Systems & Networks from the National University of Radio Electronics in Kharkiv, Ukraine.
View profile
-
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 language runtimes. He implemented initial libunwind support for CheriBSD’s c18n and has since been working on V8 and its integration into the Chromium web browser.
View profile
-
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.
View profile
-
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 on this project since its beginning. He has been involved with every aspect of it, ranging from technical tasks such as adding the CHERIoT target to organising work for the team and communicating about the project to make it more visible.
View profile
-
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 radio company RadioScape and fintech business Crescent Technology. When the latter was acquired by Aspect Capital, a multi-billion dollar systematic hedge fund, Dr. Ferris became its chief architect and ultimately, chief investment officer (CIO). After leaving Aspect, Gavin co-founded lowRISC CIC, the non-profit host of the OpenTitan project, where he currently serves as pro bono CEO.
View profile
-
Haydn Povey
Details to follow.
View profile
-
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 CHERI compartmentalisation for embedded systems.
View profile
-
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 is currently CEO of lowRISC. He holds a degree in telecommunication engineering and an MBA.
View profile
-
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 and embedded and Zephyr OS development for CHERI.
View profile
-
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 two lowRISC Sonata boards.
View profile
-
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 has been involved with the project since 2016 when she wrote the first prototype of a CHERI linker.
View profile
-
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, and secure computing systems using formal methods. His research interests include computer architecture, systems, compilers, and formal methods.
View profile
-
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. candidate and researcher at the Electronic Design Automation group at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, working under supervision of Prof. Wolfgang Kunz and Prof. Dominik Stoffel.
View profile
-
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 contributed to GDB. John began working with the CHERI project for over 10 years including work in CheriBSD and CHERI GDB and more recently dabbling in CHERI LLVM and Morello LLVM.
View profile
-
John Goodacre
Prof. John Goodacre: University of Manchester, Director Digital Security by Design: UKRI
View profile
-
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 projects including OpenTitan (security root-of-trust) and the Sunburst Project (memory safety using CHERI), amongst others.
View profile
-
Jonathan Woodruff
Dr Jonathan Woodruff is a Senior Research Associate with expertise in processor architecture and microarchitecture as well as low-level software optimisation.
View profile
-
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 since 2016, being awarded his Ph.D in 2019 for work on FPGA interconnects in HPC architectures.
View profile
-
Ka Wing Li
Ka Wing Li is a PhD student from the University of Cambridge.
View profile
-
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 has championed CHERI through major DARPA initiatives. She has now joined ARIA as a CEO to continue connecting deep technical foundations with real‑world impact and deployment.
View profile
-
Kevin Brodsky
Kevin Brodsky is a software engineer at Arm, specializing in the Morello project and the Morello Linux kernel.
View profile
-
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 profile
-
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 German Research Center for Artificial Intelligence (DFKI) and is pursuing his Ph.D. at the University of Bremen. His research interest lies in the verification of hardware designs at different abstraction levels, with a focus on formal techniques. Other research interests include system security and LLMs for hardware verification.
View profile
-
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 implementation of the Cyber Resilience Act.
View profile
-
Manu Ravishankar
Manu Ravishankar is a Principal Consultant specialising in innovation strategy, programme design and technology commercialisation. Formerly Head of Insights and Impact for Innovate UK’s £450m Strategic Innovation Fund, he led funding strategy, oversaw whole-system project portfolios and regulatory engagement.
View profile
-
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++ languages.
View profile
-
Mark Hill
Dr Mark B. Hill, BEng PhD CEng MIET
View profile
-
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, Dr Van der Maas also worked on implementing and testing processors that enforce bounds and permissions on memory pointers using a technology named Capability Enhanced RISC Instructions (CHERI).
View profile
-
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 safety-critical systems (air-traffic control and Radar), real-time embedded operating systems, and web applications.
View profile
-
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 safety, and improving software resilience.
View profile
-
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 innovation with companies like VLSI Technology, NewLogic, Arm and Codasip, and he started-up and led his own company. where he played pivotal roles in advancing technology and business strategies. His expertise ranges from chip design engineering and system architecture to product and company management, marketing and strategy, making him a key contributor to the growth and success of microelectronics organisations.
View profile
-
Mike Halsall
Details to follow.
View profile
-
Murali Vijayaraghavan
Murali is a formal methods and security researcher at
View profile
-
Murat Cakmak
Murat is Co-CEO @ Microservice Store.
View profile
-
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 National Cyber Security Centre, a role he assumed in late 2023.
View profile
-
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 API portability and has been involved with CHERI projects since 2021. Prior to that, he received his PhD from the University of Edinburgh.
View profile
-
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 translate into real risk reduction and adoption across critical systems.
View profile
-
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’ experience in cybersecurity including as a co-founder of one of the pioneering firewall companies. At this company, Peter was responsible for gaining the fist ever Common Criteria EAL4 certification for a firewall.
View profile
-
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 security domains. He has been a regular speaker at forums such as the IoT Security Foundation conference and CyberCon, and is a contributor to the CHERIoT ecosystem and a technical reviewer for the CHERIoT programmers’ Guide. He has more years experience than he cares to admit to developing and delivering complex distributed systems.
View profile
-
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 research encompasses computer architecture, compilers, program analysis, operating systems, networking, and security. He leads several cross-layer research projects in these areas.
View profile
-
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 a range of positions in different fields including engineering, policy and practice, technology scouting, evaluation, customer relations and solutions design.
View profile
-
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 topic in Communications of the ACM in collaboration with Simon W. Moore and A. Theodore Markettos.
View profile
-
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 rigorously engineered processors and subsystems.
View profile
-
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, out-of-order cores, security, and DSP style cores. He has been with Codasip for over three years and previously worked at Huawei UK, Broadcom and Nvidia.
View profile
-
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 platform security for telecommunications equipment and infrastructure.
View profile
-
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 marketing and communications at Codasip, a processor technology company, where she drives messaging, launches, and media communications. Previously, Tora served as Chief Marketing Officer at IAR Systems, overseeing global marketing strategies and leading cross-functional teams. With a Master of Arts in Computational Linguistics from Uppsala University, Tora combines her technical background with a passion for innovation to align marketing efforts with company strategy and build impactful partnerships.
View profile