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.
Experience
-
Laboratoire Méthodes Formelles, CNRS - March to July 2024M1 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 2023L2 Traineeship. Back-end development on containerized infrastructure in Python. Web app design with React.js, Flask and Docker.
-
Informatique CDC - May to August 2022L2 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 2022Association. Vice-Treasurer and Teaching Lead.
-
Fnac Darty - May to August 2021L1 Internship. Work on customer insight and customer journey. Deployment of an in-house iOS application.
Education
-
Faculté des Sciences - Université Paris Saclay - Since September 2023Master Parisien de Recherche en Informatique (MPRI)
-
FGES - Université Catholique de Lille - September 2020 to May 2023Licence Sciences du Numérique (SDN)
Files
-
Curriculum Vitae.
-
Report for M1 Internship.
See Also
-
Email address.
-
Git forge.
-
LinkedIn.