Sched.com Conference Mobile Apps
seL4 Summit 2025
seL4 Summit 2025
The schedule is
subject to change
, so please check back before the event for the most up to date information.
Please note that all session times are listed below in Central European Summer Time (CEST), UTC +2.
Show More
Sign up
or
log in
to add sessions to your schedule and sync them to your phone or calendar.
Schedule
Speakers
Co-Authors
Search
Menu
Schedule
Speakers
Co-Authors
Search
Sid Agrawal
University of British Columbia
JA
June Andronick
seL 4 Foundation
AB
Alexander Boettcher
Genode Labs
Matt Brecknell
Kry10
Verification Engineer
David Cock
Neutrality
Head of Verification
Darren Cofer
Collins Aerospace
Fellow
Juliana Furgala
MIT Lincoln Laboratory
Cybersecurity Researcher
JH
John Hatcliff
Kansas State University
GH
Gernot Heiser
UNSW Sydney
WZ
Wanja Zaeske on behalf of Vincent Janson
German Aerospace Center (DLR)
SJ
Sebastian Jester
Cyberagentur
AK
Alain Kägi
Lewis & Clark College
Assistant Professor
GK
Gerwin Klein
Proofcraft
Yuning Liang
Deep Computing
Founder & CEO
BM
Boyd Multerer
Kry10
MP
Mathieu Paturel
UNSW Sydney
PD
Peter de Ridder
MEP
TS
Thomas Sewell
UNSW Sydney
YS
Yanyan Shen
NIO
Nick Spinale
Collas Group
GS
Gordon Stewart
Riverside Research
RV
Robert VanVossen
Dornerworks
Embedded Systems Engineer
AW
Alexander Weidinger
Fraunhofer AISEC
JZ
Junming Zhao
UNSW Sydney
Share Modal
Share this link via
Or copy link
Copy
