Company

seL4 Foundation

Software Development Everywhere!, OO 8 employees

Employees: 8
Contacts: 1
Emails: 1

sel4.systems LinkedIn

seL4 Foundation Overview

Headquarters: Everywhere!, OO
Website: sel4.systems
Industry: Software Development
Employees: 8
Founded: 2020
NAICS: Software Publishers

Keywords

Sydney

About seL4 Foundation

The seL4 Foundation is a non-profit organisation supporting the open-source seL4 microkernel and its ecosystem. The seL4 microkernel is the world's first general-purpose operating-system kernel with a formal, machine-checked proof of implementation correctness, originally on Arm, now also on x86 and RISC-V processors. seL4 is still the only formally-verified operating system with fine-grained, capability-based access control, it has proofs of security enforcement, and besides all this is the world's fastest microkernel.

seL4 Foundation Contact Details

People in AeroLeads: 4
With contact data: 1
Email contacts: 1; 25.0% coverage

seL4 Foundation Org Chart

Sample employees and titles

Name	Title	Location	Contact
Matthew Brecknell	Software Verification Engineer at Kry10		View
Gerwin Klein	Chief Scientist & Co-founder	Sydney, New South Wales, Australia	Email
Matthew P. Grosvenor	Building, Measuring, and Optimising		View
June Andronick	CEO and Co-founder at Proofcraft; CEO		View