diff --git a/css/style.css b/css/style.css index c5cb0cc..16772f3 100644 --- a/css/style.css +++ b/css/style.css @@ -1,8 +1,6 @@ :root { --bg-color: #000000; --fg-color: #FFFFFF; - --ln-color: #FFFF00; - --ln-color-visited: #FFAA00; } html { @@ -11,7 +9,7 @@ html { background-color: var(--bg-color); color: var(--fg-color); font-size: 1em; - font-family: monospace, "Cascadia Code", monospace; + font-family: "Cascadia Code", monospace; justify-content: center; } @@ -21,38 +19,37 @@ body { margin: 0; } -#who { - text-align: center; - padding-top: 1lh; -} +a, a:visited { color: var(--fg-color); } -#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; +header, footer { + display: flex; + justify-content: space-between; + font-weight: bold; margin-bottom: 1lh; } +.section { margin-bottom: 1lh; } + +.content { padding-left: 8ch; } +.description { padding-left: 4ch; } + + +ul { + list-style-type: ''; + padding-left: 0; + margin: 0; +} + +li { margin-bottom: 1lh; } + .section-title { - text-decoration: underline; + font-weight: bold; + text-transform: uppercase; } -.footer-ws { - max-height: use-available; -} - -footer { - text-align: center; +#message { + position: fixed; + bottom: 0; + background: var(--fg-color); + color: var(--bg-color); } diff --git a/index.html b/index.html index 33944dc..f61b208 100644 --- a/index.html +++ b/index.html @@ -5,97 +5,143 @@ 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. -
+ 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. +
+
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
    -
    • -
-
+
    +
  • +
    + + 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. +
    +
-
-
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
    -
    • -
-
+
+
Education
+
-
-
+ diff --git a/js/man.js b/js/man.js new file mode 100644 index 0000000..d2cf200 --- /dev/null +++ b/js/man.js @@ -0,0 +1,19 @@ +window.onload = () => { + const msg = document.querySelector("#message"); + const lh = + document.defaultView + .getComputedStyle(msg, null) + .getPropertyValue("lineHeight"); + msg.innerHTML = "Manual page henri(1)"; + document.onkeydown = (e) => { + e = e || window.event; + switch (e.keyCode) { + case 74: + window.scrollBy(0, msg.clientHeight); break; + case 75: + window.scrollBy(0, -msg.clientHeight); break; + default: break; + } + } +}; +