Keynotes
We are pleased to announce that we have two outstanding keynotes for the seL4 Summit 2026: Anjana Rajan, Former Assistant National Cyber Director at The White House, and Martin Dehnel-Wild, Technical Director & Principal Security Researcher at Kry10. Abstracts coming soon — stay tuned!
Anjana Rajan
Former Assistant National Cyber Director at The White House.
Martin Dehnel-Wild
Technical Director & Principal Security Researcher at Kry10.
“Voices from Nearby”
This year, the summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will include a session on “Voices from Nearby,” with industry experts who work in or share their thoughts on areas that are adjacent to the core seL4 areas. Alistair Woodmand, Board Member of the Erlang Ecosystem Foundation, will share his insights on the European Cyber Resiliency Act and implications for open source software, and David Hardin, Associate Director of Systems Engineering at Collins Aerospace, will give an overview on trends in real-world formal verification. Details coming soon!
Alistair Woodmand
Board Member of the Erlang Ecosystem Foundation.
David Hardin
Associate Director of Systems Engineering at Collins Aerospace.
Register for the seL4 summit 2026, or submit a talk proposal.
