Henri Saudubray 
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.
Experience
  • Inductive predicate support in Why3
    Laboratoire Méthodes Formelles, CNRS
    Since March 2024
  • Full-stack development on IPA pipeline
    Skapánê
    September 2022 - August 2023
  • Automated end-to-end testing on banking infrastructure
    Informatique CDC
    May - August 2022
  • Vice-Treasurer and teaching lead
    Ac'Lab
    August 2021 - May 2022
Formation
  • Master Parisien de Recherche en Informatique (MPRI)
    Université Paris Saclay
    Since September 2023
  • Licence Sciences du Numérique (SDN)
    Université Catholique de Lille
    September 2020 - May 2023