seL4 foundation logo

seL4 Foundation Membership

Below is the list of members of the seL4 Foundation. Want to be part of the adventure?

JOIN NOW HERE!

Premium Members

Horizon Robotics
Jump Trading
NIO
UNSW Sydney
Founding member
Endorsed Service Provider

General Members

Apple
Cog Systems Inc
Founding member
Endorsed Service Provider
DornerWorks Ltd
Founding member
Endorsed Service Provider
Kry10 Limited
Endorsed Service Provider
Penten Pty Ltd
Proofcraft Pty Ltd
Endorsed Service Provider
RTX Corporation
Technology Innovation Institute

Associate Members

Autoware Foundation
ETH Zurich
Kansas State University
Lewis & Clark College
NCSC
RISC-V International
TU Munich
University of Kansas