TEAM

Members

SakuraOS is built by a small team focused on formal verification and high-assurance systems.

CORE DEVELOPMENT

Aqua

Core developer. Architecture, verification strategy, and kernel development.

HIGHER LAYERS

GUI and higher-layer system design and integration.

U-22 Programming Contest 2025

Aqua: Ministry of Economy, Trade and Industry, Commerce and Information Policy Bureau Director Award
kamery: Forum8 Award