Announce

Download

announce@sel4.systems

December 2024

1 participants
1 discussions

Meet the co-chairs of the seL4 summit 2025
by Announcements about seL4 -- low volume list 04 Dec '24

04 Dec '24

We are thrilled to announce our co-chairs, Nick Spinale and Robbie VanVossen, for the seL4 summit 2025. The next seL4 summit will be held in Europe in Sep/Oct 2025 (location and dates TBC). Nick Spinale is an independent computer security researcher and consultant based in Portland, Oregon. He is involved in many aspects of the seL4 open source ecosystem, including maintaining the Rust language support for seL4 userspace. Before forming Colias Group, he was a part of Arm Research in Cambridge, … [View More]

1 0