seL4 International

New officers

David Scott Hardin · Mitglied des Vorstandes · ohne Zeichnungsberechtigung

Revipur AG · Revisionsstelle

Qiyan Wang · Mitglied des Vorstandes · ohne Zeichnungsberechtigung

seL4 International, in Küsnacht (ZH), CHE-276.739.771, Verein (SHAB Nr. 217 vom 10.11.2025, Publ. 1006479525). Statutenänderung: 08.04.2026. Zweck neu: 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 verfolgt keine kommerziellen Zwecke und erstrebt keinen Gewinn. Der Verein ist gemeinnützig und politisch neutral. Eingetragene Personen neu oder mutierend: Hardin, David Scott, amerikanischer Staatsangehöriger, in Cedar Rapids / IA (US), Mitglied des Vorstandes, ohne Zeichnungsberechtigung; Wang, Qiyan, amerikanischer Staatsangehöriger, in Los Altos / CA (US), Mitglied des Vorstandes, ohne Zeichnungsberechtigung; Revipur AG (CHE-168.056.184), in Zürich, Revisionsstelle.

New officers

Ekaterina Bertogg · Einzelunterschrift

Gernot Alexander Heiser · Präsident des Vorstandes · Einzelunterschrift

Gerwin Holger Klein · Mitglied des Vorstandes · Einzelunterschrift

June Liege ép. Andronick · Mitglied des Vorstandes · Einzelunterschrift

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.