My vote: Ivan: Yes Indan: Yes Regards, Yanyan ________________________________ From: Gerwin Klein <gerwin.klein@proofcraft.systems> Sent: Wednesday, 22 October 2025 9:46 PM To: tsc-members@sel4.systems <tsc-members@sel4.systems> Subject: [Tsc-members] Re: Nominating Ivan and Indan for TSC membership Thanks to everyone who has replied, that means we can move on to a vote. Please reply with an email with one yes/no for each of Ivan and Indan. E.g. my vote now: Ivan: yes Indan: yes The poll closes on Tue, 5pm Sydney time. Cheers, Gerwin
On 21 Oct 2025, at 16:38, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:
Dear fellow TSC members,
I would like to nominate Indan Zupancic for membership in the TSC, and Gernot has nominated Ivan Velickovic.
They are the two most active contributors to seL4, and both now have a number of years of experience around seL4.
Ivan (at UNSW) is the main current developer of the Microkit, which would be good to have represented on the TSC.
Indan (at the seL4 foundation) is the main current maintainer of the seL4 code base in terms PR reviews, code contributions in the past two years, and interfacing with developers. He has industry experience building systems on top of seL4. He also has strong opinions about design, which would be good to represent on the TSC.
Anything initial reactions before I call for a vote?
Cheers, Gerwin
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems
_______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems