Of the Field
seL4 Summit
The seL4 Summit is the annual international summit on the seL4 microkernel and seL4-related technology, tools, infrastructure, products, projects, and people.
33Speakers
3Sponsors
0On the bill · sessions
25Companies · in total
Speakers
Programmed at seL4, in alphabetical order.Adam
NCSC
Alain Kägi
Lewis & Clark College
Alistair Woodman
Erlang Ecosystem Foundation (EEF)
Andrew Ruef
Institute for Defense Analyses
Anjana Rajan
CEO & Co-Founder · Atalanta
Bill Nguyen
UNSW Sydney
Biruk Sintayehu
Trusted Science and Technology
Daniel Neshyba-Rowe
Independent
Daniel Schwyn
Neutrality
Darren Cofer
Collins Aerospace
Dave Lide
Trusted Science and Technology
David Hardin
Collins Aerospace
David Swasey
Riverside Research
Gernot Heiser
UNSW Sydney
Guangtao Zhu
UNSW Sydney
Ihor Kuz
Kry10
James Sharp
Dstl
John Hatcliff
Kansas State University
Jonathan Marshall
SafeShark
June Andronick
Proofcraft and seL4 Foundation
Lesley Rossouw
UNSW Sydney
Liam Murphy
UNSW Sydney