Balthazar Patiachvili

Actuellement | Études | Stages | Projets | Contact

Page personnelle.

Language: English | Français

Actuellement

Je suis étudiant en master 2 au MPRI (Master Parisien de Recherche en Informatique). Plus précisément, je suis en stage à l'INRIA Paris sous la supervision de Timothy Bourke et de Marc Pouzet.

Études

Département d'informatique de l'ENS Paris-Saclay, Gif-sur-Yvette et Paris, septembre 2021 — présent
- M2 MPRI à l'Université Paris-Cité, septembre 2024 — présent
- M2 FESup (préparation à l'agrégation externe d'informatique) à Jussieu, septembre 2023 — août 2024
  Lauréat de l'agrégation externe d'informatique, session 2024.
- M1 MPRI à l'ENS Paris-Saclay, septembre 2022 — août 2023
- L3 informatique renforcée à l'ENS Paris-Saclay, septembre 2021 — août 2022
CPGE au Lycée Masséna, Nice, septembre 2019 — juin 2021
Classe préparatoire mathématiques-physiques option informatique (MPSI puis MP*)

Expériences

Vacations pour la préparation à l'agrégation d'informatique d'Île-de-France

Sorbonne Université, Paris, septembre 2024 — présent
Rédaction de corrigés, correction des copies et présentation de plusieurs écrits blancs.

Amélioration de l'automatisation des preuves de la librairie `coq-waterproof`

Eindhoven University of Technology in Eindhoven, avril 2023 — juin 2023
Encadré par Jim Portegies, le stage aboutit à l'ajout d'un plugin pour l'assistant de preuve Coq, disponible sur GitHub.

Rapport de stage — Support de présentation

Heuristiques pour le remboursement de dettes sur des graphes de paiement

LORIA (Laboratoire lorrain de recherche en informatique et ses applications), juin 2022 — juillet 2022
Encadré par Nazim Fates et Sylvain Contassot-Vivier

Rapport de stage — Support de présentation

Projets annexes

`efs`

Une librairie Rust permettant de manipuler des systèmes de fichiers, dont ext2.

Dépôt git sur Codeberg

Crans

Je suis membre du Crans, association réseau de l'ENS Paris-Saclay depuis septembre 2021.
Par ailleurs, je suis responsable technique de l'association depuis novembre 2022, et ai été responsable technique en chef entre mars 2024 et avril 2025.

`nixpkgs`

Mainteneur de plusieurs paquets pour le gestionnaire de paquets nix, et de plusieurs modules pour la distribution NixOS.

Contact

Par mail : balthazar [dot] patiachvili [at] crans [dot] org

Ma clef PGP :

1B91 F087 3D06 1319 D3D0  7F91 FA47 BDA2 6048 9ADA

Dernière mise à jour : 02 mai 2025