Name
Henri Saudubray - Computer science student
Synopsis
I am a computer science student at Parisian Master of Research in Computer Science (MPRI) at Université Paris Saclay, focusing on formal logic, proof assistants, and programming languages.
Publications

- /pdf/articles/jfla-2025.pdf
  "Faire chauffer Why3 avec de l'induction".
  Describes the addition of a new construct to the WhyML language allowing for case analysis on inductive predicate instances.
  Written with Jean-Christophe Filliâtre and Andrei Paskevich.

Experience

- INRIA, PARKAS Team - March to August 2025
  M2 Internship. Working on reproducibility and transparency of assertions in the synchronous hybrid language Zélus. Definition of a formal semantics for a multi-solver language back-end.
- Laboratoire Méthodes Formelles, CNRS - March to July 2024
  M1 Internship. Added support for case analysis and proofs by induction on inductive predicates in the Why3 framework. Translated a Coq proof to Why3 as a test.
- Skapánê - September 2022 to August 2023
  L3 Traineeship. Back-end development on containerized infrastructure in Python. Web app design with React.js, Flask and Docker.
- Informatique CDC - May to August 2022
  L2 Internship. Development of an automated end-to-end testing tool and ISO 20022 file format converter for CDC's banking infrastructure in Java.
- Ac'Lab - August 2021 - May 2022
  Association. Vice-Treasurer and Teaching Lead.
- Fnac Darty - May to August 2021
  L1 Internship. Work on customer insight and customer journey. Deployment of an in-house iOS application.

Education

- ENS Paris Saclay - September 2024 - March 2025
  Master Parisien de Recherche en Informatique (MPRI)
- Faculté des Sciences - Université Paris Saclay - September 2023 - March 2024
  Master Parisien de Recherche en Informatique (MPRI)
- FGES - Université Catholique de Lille - September 2020 to May 2023
  Licence Sciences du Numérique (SDN)

Files

- /pdf/cv.pdf
  Curriculum Vitae.
- /pdf/m1_report.pdf
  Report for M1 Internship.

See Also

- henri.saudubray[at]proton[dot]me
  Email address.
- codeberg.org/17maiga
  Git forge.
- linkedin.com/in/henri-saudubray
  LinkedIn.