ranQ
ranQ
ranQ
DirectoryIndustriesPlacesKnowledgeComparisonsSoon
Sign inCheck visibility
ranQHSG Startup LabelRecognised by the
HSG Startup Label

The leading AI company directory, built to boost AI visibility.

DEENFRIT
Product
  • Pricing
  • Directory
  • Industries
Company
  • About
  • Contact
  • Legal
© 2026 cohaga AG · All Rights Reserved · St. Gallen, Switzerland · Imprint745,110 companies indexed · Last updated: today
DirectoryArts, Culture & RecreationScientific & Technical ClubsKüsnacht ZhseL4 International
SI
Verified· 1 source

seL4 International

Summary

About the company

The purpose of the association is the conception, development, and implementation of trustworthy open-source software as well as related formal, mathematical proofs, with the primary focus on the conception, development, and implementation of the seL4 microkernel as well as related proofs, frameworks, tools, languages, components, and systems, in accordance with the provisions of these statutes. The association is non-profit. The association is politically neutral.

Commercial register, canton of ZH·As of June 5, 2026View on Zefix
Comparisons

seL4 International in comparison

Soon

Industry comparisons are coming soon

We're preparing industry comparisons that rank seL4 International by reviews, experience and specialisations.

Is this your company?

Claim the company profile of seL4 International to make its contact details visible. With a plan we additionally create and publish industry comparisons, articles and much more.

Secure profile

Location

Hier entsteht die Karte
Seestrasse 39
8700 Küsnacht Zh

At a glance

LeadhubOutbound Leads by COHAGA

Looking for direct email addresses and phone numbers?

Leadhub delivers verified contact details and decision-makers from over 750,000 Swiss companies — management, procurement, marketing, HR.

Discover Leadhub
Legal form
Association
UID
CHE-276.739.771
Founded
2025 · 1 year
Last commercial register change
June 5, 2026
Employees
1 to 10

Knowledge

No knowledge articles yet

Once seL4 International has claimed this profile, we'll publish editorial articles and case studies here together.

Get started

Similar companies

TA
ThinkLink Association
Forch
SZ
Stiftung zur Förderung von Technologiemanagement, Technologiepolitik und Technologietransfer
St. Gallen
AL
ALPINE LONGEVITY GmbH
Freienbach
AH
Apartment Hair & Consulting AG
Lucerne
ÉC
Élu Cosmetics GmbH
Zurich
NL
No Limits Tattoo & Piercing
Ibach
SM
Studio Mesh
Bern
S
SWISSPEAKS
Weinfelden