Informatics Olympiad International: IOI 2022 🥉/ IOI 2023 🥉 EJOI 2021 🥈 CEOI 2022 🥉/ CEOI 2022 🥉 RMI 2022 / BOI 2022 🥉 / 🥈 WEOI 2023 🥈 National: Swiss Finals 2023 🥇 Swiss Second Round 2022 🥇 Swiss First Round 2022 🥇