Balthazar Patiachvili

Nowadays | Studies | Interships | Projects | Contact

Personal website.

Language: English | Français

Nowadays

I am a student in second year of the MPRI (Master Parisien de Recherche en Informatique, Parisian Master of Research in Computer Science). More precisely, I'm doing an internship at the INRIA Paris, supervised by Timothy Bourke and by Marc Pouzet.

Studies

Department of Computer Science at the ENS Paris-Saclay, Gif-sur-Yvette and Paris, September 2021 — Now
- 2nd year of Master MPRI at the Paris-Cité Université, September 2024 — Now
- 2nd year of Master M2 FESup (preparation to the external agregation in computer science) at Jussieu, September 2023 — June 2024
  Awardee of the external agregation in computer science, year 2024.
- 1st year of Master MPRI at the ENS Paris-Saclay, September 2022 — June 2023
- 3rd year of Bachelor in computer science at the ENS Paris-Saclay, September 2021 — June 2022
CPGE at the Lycée Masséna, Nice, September 2019 — June 2021
Preparatory classes in mathematics-physics, option computer science

Experiences

Casual teaching for the Île-de-France preparatory class to the agrégation d'informatique

Writing corrections of previous sessions, marking students work and oral presentation of my corrections.

Improvement of the automation of proofs in the `coq-waterproof` library

Eindhoven University of Technology in Eindhoven, April 2023 — June 2023
Supervised by Jim Portegies, the intership concluded with a the development of a plugin for the Coq proof assistant, available on GitHub.

Report — Defense slides

Heuristics for the repayment of mutual debts on payment graphs

LORIA (Laboratoire lorrain de recherche en informatique et ses applications), June 2022 — July 2022
Supervised by Nazim Fates and Sylvain Contassot-Vivier

Report (in French) — Slides of the defense (in French)

Other projects

`efs`

A Rust no_std library to manipulate filesystems, including ext2.

git repository on Codeberg

Crans

I am a member of Crans, the network association of ENS Paris-Saclay, since September 2021.
Additionally, I became technical supervisor since November 2022, and technical supervisor in chief between March 2024 and April 2025.

`nixpkgs`

Maintainer of several packages for the nix package manager, and of some modules for the NixOS Linux distribution.

Contact

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

My PGP key:

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

Last update : 02 May 2025