# The seL4 Summit 2026 Keynotes and "Voices from Nearby"

**URL:** https://sel4.discourse.group/t/the-sel4-summit-2026-keynotes-and-voices-from-nearby/1039
**Category:** Uncategorized
**Created:** [March 18, 2026, 7:12am UTC](https://sel4.discourse.group/t/the-sel4-summit-2026-keynotes-and-voices-from-nearby/1039 "2026-03-18T07:12:07Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)
#### Post date: [March 18, 2026, 7:12am UTC](https://sel4.discourse.group/t/the-sel4-summit-2026-keynotes-and-voices-from-nearby/1039/1 "2026-03-18T07:12:07Z")

</div>

### **Keynotes**

We are pleased to announce that we have two outstanding keynotes for the **[seL4 Summit 2026](https://sel4.systems/Summit/2026/)**: **[Anjana Rajan](https://www.linkedin.com/in/anjanarajan/)**, Former Assistant National Cyber Director at The White House, and **[Martin Dehnel-Wild](https://www.linkedin.com/in/mpdehnel/)**, Technical Director & Principal Security Researcher at Kry10. Abstracts coming soon — stay tuned!

 ![Photo of Anjana Rajan](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/93126e7a64e60c34e907e377b68da48ae7f67426.jpeg)

**[Anjana Rajan](https://www.linkedin.com/in/anjanarajan/)**  
Former Assistant National Cyber Director at The White House.

 ![Photo of Martin Dehnel-Wild](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/cde94cb8eb6a9d435ef4ad4db9e4839e4593bc09.jpeg)

**[Martin Dehnel-Wild](https://www.linkedin.com/in/mpdehnel/)**  
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](https://www.linkedin.com/in/alistair-woodman-51934433/)**, 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](https://loonwerks.com/people/david-hardin.html)**, Associate Director of Systems Engineering at Collins Aerospace, will give an overview on trends in real-world formal verification. Details coming soon!

 ![Photo of Alistair Woodman](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/15603f2cc165386efdb2b262d03c6cbd8dfa484a.jpeg)

**[Alistair Woodmand](https://www.linkedin.com/in/alistair-woodman-51934433/)**  
Board Member of the Erlang Ecosystem Foundation.

 ![Photo of David Hardin](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/8b778e09d7c82c395ce38afed07fb4e6e7204575.jpeg)

**[David Hardin](https://loonwerks.com/people/david-hardin.html)**  
Associate Director of Systems Engineering at Collins Aerospace.

**[Register](https://events.linuxfoundation.org/sel4-summit/register/)** for the seL4 summit 2026, or **[submit](https://sel4.systems/Summit/2026/cfp.html)** a talk proposal.

 ![sel4_summit_2026](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/2050d951419f3e55c3fe451ce48a3c07aebbea6a.svg)