Advertorial
Neugründungen & Konkurse
Gründung
| Firma | seL4 International |
| Adresse | Seestrasse 39 |
| PLZ/Ort/Kt | 8700 Küsnacht ZH |
| SIC | 7372, , , , , |
| Rechtsform | Verein |
| Gründungsdatum | 10. November 2025 |
| Kapital | Fr. 0.– |
| Name | Bertogg Ekaterina |
| Funktion | Zeichnungsberechtigter |
| Unterschrift | Einzelunterschrift |
| Kapital | Fr. 0.– |
| Name | Klein Gerwin Holger |
| Funktion | Mitglied |
| Unterschrift | Einzelunterschrift |
| Kapital | Fr. 0.– |
| Name | Liege June |
| Funktion | Mitglied |
| Unterschrift | Einzelunterschrift |
| Kapital | Fr. 0.– |
| Name | Heiser Gernot Alexander |
| Funktion | Präsident |
| Unterschrift | Einzelunterschrift |
| Kapital | Fr. 0.– |
| 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. |
Keine Konkursdaten vorhanden
