seL4 foundation logo

Technical Steering Committee

The Technical Steering Committee (TSC) of the seL4 Foundation is responsible for overseeing all technical aspects of the seL4 project (technical direction, code of conduct, procedures, workflows, quality control, etc). It is made up of seL4 developers, proof engineers, and technical leaders. Their role is described in detail in the seL4 Foundation Technical Charter.



After the constituting meeting, TSC meetings are planned to be public, and minutes will be made publicly available from this page.

If you have an issue that you'd like to bring to the attention of the TSC, please email any of its members listed above.

The following meetings and decisions have so far been recorded:

Joining the TSC

TSC members are the technical leadership of the foundation. New members can join the TSC by decision (vote) of the TSC, and potential new members can be nominated by any current TSC member.

New members are generally expected to be active current contributors with the technical knowledge required for the role and a vision for the future of the seL4 ecosystem.

There are separate roles for repository write access (Committer), organisational admin access (SysAdmin), and the ability to approve pull request and manage issues (Reviewer).

If you would like to nominate someone for any of these roles, please email the chair (Gerwin Klein) of the TSC.