Learn more on how becoming a member gains you opportunities to influence the priorities and technical direction of the seL4® CoE.
View the distinguished members involved with helping the seL4 CoE work toward our mission.
seL4 2020 Summit
Review the agenda, watch videos, and download presentations and chat transcripts from the 2020 seL4 CoE Summit.
seL4 Center of Excellence
seL4® is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The goals of the seL4 Center of Excellence include maturation of seL4 technology, stabilization of the software distribution, training and expanding the user base, and developing much needed capabilities required by the Department of Defense, other government agencies, and commercial applications.