Friendly reminder that you have until Monday to vote.

On 16 Mar 2021, at 11:18 am, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:

Hi all,

The nomination period has now closed and we are in the voting period, *due March 22nd* (AOE).

I am pleased to say that we have received 4 nominations for the seat representing General Members at the seL4 Foundation, see below.

Now each general member [*] can cast 1 vote by sending an email, by March 22nd, with the name of their vote to snicholas@linuxfoundation.org (The Linux Foundation will collect votes to maintain secrecy and will communicate only the winning nominee).

[*] there was a mistake in my earlier email saying that premium members can also vote, but the charter says that general members vote for their representative (which makes sense).

Note: if several people from the same organisation receive this email, please ensure you only cast 1 vote for your organisation.

If you have any questions, let me know.

Thanks! June

Nominations to represent General Members at the seL4 Foundation board (in alphabetical order on last name):

- David Hardin, from Raytheon, Info on: http://loonwerks.com/people/david-hardin.html

- Merik Karman, from Penten

- Daniel Potts, on behalf of Ghost Locomotion. "Myself and Ghost are keen to continue to support the growth of the seL4 Foundation and support the seL4 board in achieving its objectives." More info on: https://sel4.systems/Foundation/Board.html

- Jason Sebranek, from Cog Systems. Mr. Sebranek started his cybersecurity career in 2002 with Northrop Grumman as a Software Engineer. Over his career he grew into many roles, including Section Manager, Lead Software Engineer, R&D Principal Investigator, Cyber Architect, and Technical Fellow. In his R&D role, Mr. Sebranek led the Cyber Division’s Trusted Mobility team exploring cybersecurity for mobile platforms. Mr. Sebranek began his career at Cog Systems, Inc. as the Director of Technical Marketing, reporting directly to the Chief Marketing Office and CEO. Key responsibilities included Engineering Liaison and leading the Sales Engineering and Capture Team. In 2019 Mr. Sebranek became the Chief Technology Officer, with responsibilities including product and technology planning/roadmap, cybersecurity architecture, and industry partnership development.