Balthazar Patiachvili

En ce moment | Enseignement | Avant | Projets | Contact

Page personnelle Language: Français | English

En ce moment

Je suis actuellement doctorant en 1ère année dans l'équipe PARKAS du département informatique de l'ENS PSL, sous la direction de Timothy Bourke et Marc Pouzet.
Je travaille sur Vélus, un compilateur vérifié en Rocq et OCaml, de Lustre vers Clight, sous-ensemble de C constituant le front-end de CompCert.
Mon travail consiste à ajouter les tableaux dans ce compilateur, vous pouvez consulter le sujet rédigé.

Enseignements

2025-2026

• Chargé de TD du cours de L3 "Systèmes d'exploitation" au DI de l'ENS PSL, cours donné par Timothy Bourke
• Chargé de TD du cours de L3 "Systèmes numériques" au DI de l'ENS PSL, cours donné par Hadrien Barral
• Chargé d'activités du cours de L1 "Éléments de programmation 1" à Sorbonne Université, cours donné par Alicia Cohen-Hadria et Romain Demangeon

2024-2025

• Rédaction de corrigés, corrections, et présentation de la correction d'écrits blancs à la classe préparatoire à l'agrégation externe d'informatique de Sorbonne Université

Avant

2024-2025

• Stage de M2 : Inlining in a Verified Synchronous Language Compiler
  Supervision par Timothy Bourke
  Mars 2025 — Août 2025, équipe PARKAS au DI de l'ENS PSL
  Liens : Rapport (anglais) et présentation (anglais)
• M2 MPRI : 4e année d'étude à l'ENS Paris-Saclay
  Septembre 2024 — Août 2025

2023-2024

• Préparation à l'agrégation externe d'informatique : 3e année d'étude à l'ENS Paris-Saclay
  Lauréat du concours de l'agrégation externe d'informatique, session 2024
  Septembre 2023 — Juin 2024

2022-2023

• Stage de M1 : Improvement of the automation in the coq-waterproof library
  Supervision par Jim Portegies
  Avril 2023 — Juin 2023, Eindhoven University of Technology
  Liens : Rapport (anglais) et présentation (anglais)
• M1 MPRI : 2e année d'étude à l'ENS Paris-Saclay
  Septembre 2022 — Juin 2023

2021-2022

• Stage de L3 : Réduction de dettes mutuelles entre entreprises : heuristiques sur des graphes de paiements
  Supervision par Sylvain Contassot-Vivier et Nazim Fatès
  Juin 2022 — Juillet 2022, équipe Simbiot au LORIA
  Liens : Rapport et présentation
• L3 informatique : 1ère année d'étude à l'ENS Paris-Saclay
  Septembre 2021 — Juillet 2022

Projets

• agreg.info : site de ressources libres pour l'agrégation externe d'informatique
• Crans : association d'informatique de l'ENS Paris-Saclay
  Responsable technique depuis octobre 2022
  Responsable technique en chef entre mars 2023 et avril 2024

Contact

Vous pouvez toujours me contacter à mon adresse mail : <prenom>.<nom>@crans.org.
J'essaie de toujours répondre aussi vite que possible.

Ma clef GPG : 1B91 F087 3D06 1319 D3D0 7F91 FA47 BDA2 6048 9ADA.

Site sous licence GPLv3 inspirée de evenbettermotherfuckingwebsite.
Dernière mise à jour : 26/01/2026