diff --git a/index.html b/index.html index ea8dddf..2e08095 100644 --- a/index.html +++ b/index.html @@ -1,156 +1,156 @@ - - - - Henri Saudubray - - - - -
- HENRI(1) - User information - HENRI(1) -
-
-
-
Name
-
- Henri Saudubray - Computer science student + + + + Henri Saudubray + + + + +
+ HENRI(1) + User information + HENRI(1) +
+
+
+
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. +
+
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 - - Since March 2024 -
    -
    - Adding support for proofs on inductive predicates in the Why3 - framework. -
    -
    • -
  • -
    - Skapánê - - September 2022 to August 2023 -
    -
    - Back-end development on containerized infrastructure in Python. - Web app design with React.js, Flask and Docker. -
    -
    • -
  • -
    - Informatique CDC - - May to August 2022 -
    -
    - 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
    -
    Vice-Treasurer and Teaching Lead.
    -
    • -
  • -
    - Fnac Darty - - May to August 2021 -
    -
    - Work on customer insight and customer journey. Deployment of an - in-house iOS application. -
    -
-
-
-
Education
- -
-
-
Files
- -
-
-
See Also
- -
-
-
Webring
-
- ← - Webring de la tortue 🐢 - → +
+
Experience
+
    +
  • +
    + + Laboratoire Méthodes Formelles, CNRS + - Since March 2024 +
    +
    + Adding support for proofs on inductive predicates in the Why3 + framework. +
    +
    • +
  • +
    + Skapánê + - September 2022 to August 2023 +
    +
    + Back-end development on containerized infrastructure in Python. + Web app design with React.js, Flask and Docker. +
    +
    • +
  • +
    + Informatique CDC + - May to August 2022 +
    +
    + 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
    +
    Vice-Treasurer and Teaching Lead.
    +
    • +
  • +
    + Fnac Darty + - May to August 2021 +
    +
    + Work on customer insight and customer journey. Deployment of an + in-house iOS application. +
    +
-
-
- - +
+
Education
+ +
+
+
Files
+ +
+
+
See Also
+ +
+
+
Webring
+
+ ← + Webring des délices + → +
+
+ + +