The seL4 Foundation

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. Meeting minutes are public. New members can join by TSC decision.

Members

The TSC is made up of seL4 developers, proof engineers, and technical leaders. The role of the TSC is described in detail in the seL4 Foundation Technical Charter.

June Andronick

Proofcraft
Matthew Brecknell

Kry10
Kevin Elphinstone

UNSW
Gernot Heiser

UNSW
Gerwin Klein (Chair)

Proofcraft
Rafal Kolanski

Proofcraft
Ihor Kuz

Kry10
Corey Lewis

Proofcraft
Anna Lyons
Kent McLeod

Kry10
Yanyan Shen

NIO

Meetings

TSC meetings are public, with minutes made publicly available from this page. If you have an issue that you would like to bring to the attention of the TSC, please email any of its members listed above.

The following meetings and decisions have been recorded so far:

2024-07-25: 8th TSC meeting
2024-03-22: 7th TSC meeting
2023-09-12: 6th TSC meeting
2023-07-17: Email vote to invite Indan Zupancic and Ivan Velickovic as Committers, as well as Alwin Joshy as Reviewer.
2023-05-30: Email vote to drop support for Cogent.
2022-12-16: 5th TSC meeting
2022-12-15: Email vote to invite Indan Zupancic as Reviewer.
2022-04-14: Email vote to approve RFC-10.
2021-12-17: 4th TSC meeting
2021-12-16: Email vote to invite Yanyan Shen to the TSC.
2021-09-30: Email vote to approve RFC-8.
2021-09-29: Email vote for interim endorsement.
2021-08-18: Email vote for interim endorsement.
2021-05-27: Email vote for invitation to committer role.
2021-02-12: 3rd TSC meeting
2021-01-29: 2nd TSC meeting
2020-05-21: Email vote for invitation to reviewer role.
2020-05-20: 1st TSC meeting

Joining the TSC

TSC members are the technical leadership of the seL4 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 requests 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.