From 2c7b8dcfe1a1c4722d96b56e0fbf79eadc504cae Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Sat, 4 May 2024 01:58:08 +0200 Subject: [PATCH] feat: initial commit --- css/style.css | 32 ++++++++++++++++ index.html | 101 ++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 133 insertions(+) create mode 100644 css/style.css create mode 100644 index.html diff --git a/css/style.css b/css/style.css new file mode 100644 index 0000000..9bee733 --- /dev/null +++ b/css/style.css @@ -0,0 +1,32 @@ +:root { + --bg-color: #000000; + --fg-color: #FFFFFF; + --ln-color: #FFFF00; + --ln-color-visited: #FFAA00; +} +html { + display: flex; + width: 100vw; + background-color: var(--bg-color); + color: var(--fg-color); + font-size: 1em; + font-family: monospace, "Cascadia Code", monospace; +} +body { + width: 80ch; + height: 100vh; + margin: 0; +} +#who { text-align: center; padding-top: 1lh; } +#bio { padding: 1lh 0; } +a { color: var(--ln-color); } +a:visited { color: var(--ln-color-visited); } +ul { + list-style-type: '- '; + padding-left: 4ch; + margin-top: 1lh; + margin-bottom: 1lh; +} +.section-title { text-decoration: underline; } +.footer-ws { max-height: use-available; } +footer { text-align: center; } diff --git a/index.html b/index.html new file mode 100644 index 0000000..83315bc --- /dev/null +++ b/index.html @@ -0,0 +1,101 @@ + + + + + + Henri Saudubray + + + +
+
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
    +
    • +
+
+
+ +
+
+ + +