We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2025, in a session Building a business case for using a verified kernel: Collins Aerospace, DornerWorks, Kry10, NIO, and MEP. The panel will be moderated by Juliana Furgala from MIT Lincoln Laboratory.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Meet the co-chairs of the seL4 summit 2025
|
0 | 51 | December 4, 2024 | |
|
Check out the seL4 summit 2025 program and abstracts
|
0 | 5 | August 8, 2025 | |
|
Panellists for seL4 summit 2023 announced
|
0 | 121 | August 30, 2023 | |
|
seL4 summit 2025 sponsorship opportunities
|
0 | 10 | March 12, 2025 | |
|
seL4 summit 2025 sponsorship opportunities closing soon (8 Aug)
|
0 | 1 | July 30, 2025 |