Auskünfte zu seL4 International
Bonitätsauskunft
Einschätzung der Bonität mit einer Ampel als Risikoindikator und weiteren hilfreichen Firmeninformationen.Mehr erfahren
Firmendossier als PDF
Kontaktinformationen, Veränderungen, Umsatz- und Mitarbeiterzahlen, Management, Besitzverhältnisse, Beteiligungsstruktur und weitere Firmendaten.Jetzt kostenlos abrufen
Über seL4 International
- seL4 International mit Sitz in Küsnacht ZH ist aktiv. seL4 International ist im Bereich «Betreiben eines Verlagswesens (analog/digital)» tätig.
- Das Management der Organisation seL4 International besteht aus 4 Personen. Im Handelsregister eingetragen wurde die Organisation am 05.11.2025.
- Alle Anpassungen am Handelsregistereintrag finden Sie unter Meldungen. Die letzte Anpassung erfolgte am 10.11.2025.
- Die Organisation ist im Handelsregister ZH mit der UID CHE-276.739.771 eingetragen.
- Neben der Organisation seL4 International sind 71 weitere aktive Firmen an der gleichen Adresse eingetragen. Dazu gehören: 18 Capital GmbH, 2Xideas AG, Adag Agricultural Development AG.
Management (4)
neueste Vorstandsmitglieder
Gernot Alexander Heiser,
Gerwin Holger Klein,
June Liege Andronick
neuste Zeichnungsberechtigte
Gernot Alexander Heiser,
Gerwin Holger Klein,
June Liege Andronick,
Ekaterina Bertogg
Handelsregisterinformationen
Eintrag ins Handelsregister
05.11.2025
Rechtsform
Verein
Rechtssitz der Firma
Küsnacht (ZH)
Handelsregisteramt
ZH
Handelsregister-Nummer
CH-020.6.003.776-8
UID/MWST
CHE-276.739.771
Branche
Betreiben eines Verlagswesens (analog/digital)
Firmenzweck
Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten. Der Verein ist gemeinnützig. Der Verein ist politisch neutral.
Weitere Firmennamen
Es sind keine früheren oder übersetzten Firmannamen vorhanden.
Möchten Sie den Firmennamen aktualisieren? Klicken Sie hier.Zweigniederlassungen (0)
Besitzverhältnisse
Beteiligungen
Neueste SHAB-Meldungen: seL4 International
Publikationsnummer: HR01-1006479525, Handelsregister-Amt Zürich, (20)
seL4 International, in Küsnacht (ZH), CHE-276.739.771, c/o ALTENBURGER LTD legal + tax, Seestrasse 39, 8700 Küsnacht ZH, Verein (Neueintragung).
Statutendatum:
08.10.2025.
Zweck:
Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten. Der Verein ist gemeinnützig. Der Verein ist politisch neutral.
Mittel:
Mittel: Mitgliederbeiträge;
Spenden;
Sponsoring;
Erträge aus dem Vereinsvermögen;
alle weiteren Mittel, die nicht im Widerspruch zum Gesetz oder zum gemeinnützigen Charakter stehen.
Eingetragene Personen:
Heiser, Gernot Alexander, deutscher Staatsangehöriger, in Sydney (AU), Präsident des Vorstandes, mit Einzelunterschrift;
Klein, Gerwin Holger, deutscher Staatsangehöriger, in Sidney (AU), Mitglied des Vorstandes, mit Einzelunterschrift;
Liege ép. Andronick, June, französische Staatsangehörige, in Bordeaux (FR), Mitglied des Vorstandes, mit Einzelunterschrift;
Bertogg, Ekaterina, von Ilanz/Glion, in Maur, mit Einzelunterschrift.
Trefferliste
Hier finden Sie eine Verlinkung des Managements auf eine Trefferliste zu Personen mit dem gleichen Namen, die im Handelsregister eingetragen sind.