Reports for seL4 International
Credit rating information
Evaluation of credit rating with traffic light as risk indicator and other helpful data about the company.Find out more
Economic information
Comprehensive information about the economic situation of a company.Find out more
Payment collection information
Overview of current and past debt enforcement proceedings.Find out more
Company dossier as PDF
Contact information, changes in the company, turnover and employee figures, management, ownership, shareholding structure and other company data.Retrieve company dossier
About seL4 International
- seL4 International in Küsnacht ZH is an Association from the sector «Operation of a publishing agency (analog/digital)». seL4 International is active.
- The management of the organization seL4 International consists of 4 persons.
- The commercial register entry of the organization was last modified on 10.11.2025. Under «Notifications» it is possible to view all previous changes.
- The organization's UID is CHE-276.739.771.
- Companies with an identical address: 18 Capital GmbH, 2Xideas AG, Adag Agricultural Development AG.
Management (4)
newest members of the committee
Gernot Alexander Heiser,
Gerwin Holger Klein,
June Liege Andronick
newest authorized signatories
Gernot Alexander Heiser,
Gerwin Holger Klein,
June Liege Andronick,
Ekaterina Bertogg
Commercial register information
Entry in the commercial register
05.11.2025
Legal form
Association
Legal headquarters of the company
Küsnacht (ZH)
Commercial Registry Office
ZH
Commercial register number
CH-020.6.003.776-8
UID/VAT
CHE-276.739.771
Sector
Operation of a publishing agency (analog/digital)
Purpose (Original language)
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.
Other company names
Es sind keine früheren oder übersetzten Firmannamen vorhanden.
Would you like to update the company name? Click here.Branches (0)
Ownership structure
Holdings
Newest SOGC notifications: seL4 International
The latest updates from the Swiss Official Gazette of Commerce (SOGC) are available in the original language of the source commercial register office only. View all notifications
Publication number: HR01-1006479525, Commercial Registry Office Zurich, (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.
Hit list
Here you will find a link from the management to a hit list of persons with the same name who are registered in the commercial register.