feat: webring des delices
This commit is contained in:
parent
92b6b6fea9
commit
81cf280e1a
GPG key ID:
7065F57ED8856128
1 changed files with 150 additions and 150 deletions
300
index.html
300
index.html
|
|
@ -1,156 +1,156 @@
|
||||||
<!DOCTYPE html>
|
<!DOCTYPE html>
|
||||||
<html lang="en">
|
<html lang="en">
|
||||||
<head>
|
<head>
|
||||||
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
||||||
<link rel="stylesheet" type="text/css" href="./css/style.css?version=3">
|
<link rel="stylesheet" type="text/css" href="./css/style.css?version=3">
|
||||||
<title>Henri Saudubray</title>
|
<title>Henri Saudubray</title>
|
||||||
<meta name="description" content="Etudiant en M1 MPRI">
|
<meta name="description" content="Etudiant en M1 MPRI">
|
||||||
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
||||||
</head>
|
</head>
|
||||||
<body>
|
<body>
|
||||||
<header>
|
<header>
|
||||||
<span>HENRI(1)</span>
|
<span>HENRI(1)</span>
|
||||||
<span>User information</span>
|
<span>User information</span>
|
||||||
<span>HENRI(1)</span>
|
<span>HENRI(1)</span>
|
||||||
</header>
|
</header>
|
||||||
<main>
|
<main>
|
||||||
<div class="section" id="name">
|
<div class="section" id="name">
|
||||||
<div class="section-title">Name</div>
|
<div class="section-title">Name</div>
|
||||||
<div class="content">
|
<div class="content">
|
||||||
Henri Saudubray - Computer science student
|
Henri Saudubray - Computer science student
|
||||||
|
</div>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
<div class="section" id="synopsis">
|
||||||
<div class="section" id="synopsis">
|
<div class="section-title">Synopsis</div>
|
||||||
<div class="section-title">Synopsis</div>
|
<div class="content">
|
||||||
<div class="content">
|
I am a computer science student at Parisian Master of Research in
|
||||||
I am a computer science student at Parisian Master of Research in
|
Computer Science (MPRI) at Université Paris Saclay, focusing on
|
||||||
Computer Science (MPRI) at Université Paris Saclay, focusing on
|
formal logic, proof assistants, and programming languages.
|
||||||
formal logic, proof assistants, and programming languages.
|
</div>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
<div class="section" id="experience">
|
||||||
<div class="section" id="experience">
|
<div class="section-title">Experience</div>
|
||||||
<div class="section-title">Experience</div>
|
<ul class="content">
|
||||||
<ul class="content">
|
<li>
|
||||||
<li>
|
<div class="title">
|
||||||
<div class="title">
|
<a href="https://lmf.cnrs.fr">
|
||||||
<a href="https://lmf.cnrs.fr">
|
Laboratoire Méthodes Formelles, CNRS</a>
|
||||||
Laboratoire Méthodes Formelles, CNRS</a>
|
- Since March 2024
|
||||||
- Since March 2024
|
</div>
|
||||||
</div>
|
<div class="description">
|
||||||
<div class="description">
|
Adding support for proofs on inductive predicates in the Why3
|
||||||
Adding support for proofs on inductive predicates in the Why3
|
framework.
|
||||||
framework.
|
</div>
|
||||||
</div>
|
</li>
|
||||||
</li>
|
<li>
|
||||||
<li>
|
<div class="title">
|
||||||
<div class="title">
|
<a href="https://skapane.ai">Skapánê</a>
|
||||||
<a href="https://skapane.ai">Skapánê</a>
|
- September 2022 to August 2023
|
||||||
- September 2022 to August 2023
|
</div>
|
||||||
</div>
|
<div class="description">
|
||||||
<div class="description">
|
Back-end development on containerized infrastructure in Python.
|
||||||
Back-end development on containerized infrastructure in Python.
|
Web app design with React.js, Flask and Docker.
|
||||||
Web app design with React.js, Flask and Docker.
|
</div>
|
||||||
</div>
|
</li>
|
||||||
</li>
|
<li>
|
||||||
<li>
|
<div class="title">
|
||||||
<div class="title">
|
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
|
||||||
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
|
- May to August 2022
|
||||||
- May to August 2022
|
</div>
|
||||||
</div>
|
<div class="description">
|
||||||
<div class="description">
|
Development of an automated end-to-end testing tool and ISO 20022
|
||||||
Development of an automated end-to-end testing tool and ISO 20022
|
file format converter for CDC's banking infrastructure in Java.
|
||||||
file format converter for CDC's banking infrastructure in Java.
|
</div>
|
||||||
</div>
|
</li>
|
||||||
</li>
|
<li>
|
||||||
<li>
|
<div class="title">Ac'Lab - August 2021 - May 2022</div>
|
||||||
<div class="title">Ac'Lab - August 2021 - May 2022</div>
|
<div class="description">Vice-Treasurer and Teaching Lead.</div>
|
||||||
<div class="description">Vice-Treasurer and Teaching Lead.</div>
|
</li>
|
||||||
</li>
|
<li>
|
||||||
<li>
|
<div class="title">
|
||||||
<div class="title">
|
<a href="https://www.fnacdarty.com">Fnac Darty</a>
|
||||||
<a href="https://www.fnacdarty.com">Fnac Darty</a>
|
- May to August 2021
|
||||||
- May to August 2021
|
</div>
|
||||||
</div>
|
<div class="description">
|
||||||
<div class="description">
|
Work on customer insight and customer journey. Deployment of an
|
||||||
Work on customer insight and customer journey. Deployment of an
|
in-house iOS application.
|
||||||
in-house iOS application.
|
</div>
|
||||||
</div>
|
</ul>
|
||||||
</ul>
|
|
||||||
</div>
|
|
||||||
<div class="section" id="education">
|
|
||||||
<div class="section-title">Education</div>
|
|
||||||
<ul class="content">
|
|
||||||
<li>
|
|
||||||
<div class="title">
|
|
||||||
<a href="https://www.sciences.universite-paris-saclay.fr">
|
|
||||||
Faculté des Sciences - Université Paris Saclay</a>
|
|
||||||
- Since September 2023
|
|
||||||
</div>
|
|
||||||
<div class="description">
|
|
||||||
Master Parisien de Recherche en Informatique (MPRI)
|
|
||||||
</div>
|
|
||||||
</li>
|
|
||||||
<li>
|
|
||||||
<div class="title">
|
|
||||||
<a href="https://www.fges.fr"
|
|
||||||
>FGES - Université Catholique de Lille</a>
|
|
||||||
- September 2020 to May 2023
|
|
||||||
</div>
|
|
||||||
<div class="description">
|
|
||||||
Licence Sciences du Numérique (SDN)
|
|
||||||
</div>
|
|
||||||
</li>
|
|
||||||
</ul>
|
|
||||||
</div>
|
|
||||||
<div class="section" id="files">
|
|
||||||
<div class="section-title">Files</div>
|
|
||||||
<ul class="content">
|
|
||||||
<li>
|
|
||||||
<div class="title">
|
|
||||||
<a href="https://henri-saudubray.fr/pdf/cv.pdf">/pdf/cv.pdf</a>
|
|
||||||
</div>
|
|
||||||
<div class="description">Curriculum Vitae.</div>
|
|
||||||
</li>
|
|
||||||
</ul>
|
|
||||||
</div>
|
|
||||||
<div class="section" id="see_also">
|
|
||||||
<div class="section-title">See Also</div>
|
|
||||||
<ul class="content">
|
|
||||||
<li>
|
|
||||||
<div class="title">
|
|
||||||
<a href="mailto:henri.saudubray@universite-paris-saclay.fr"
|
|
||||||
>henri.saudubray[at]universite-paris-saclay[dot]fr</a>
|
|
||||||
</div>
|
|
||||||
<div class="description">Email address.</div>
|
|
||||||
</li>
|
|
||||||
<li>
|
|
||||||
<div class="title">
|
|
||||||
<a href="https://codeberg.org/17maiga">codeberg.org/17maiga</a>
|
|
||||||
</div>
|
|
||||||
<div class="description">Git forge.</div>
|
|
||||||
</li>
|
|
||||||
<li>
|
|
||||||
<div class="title">
|
|
||||||
<a href="https://linkedin.com/in/henri-saudubray"
|
|
||||||
>linkedin.com/in/henri-saudubray</a>
|
|
||||||
</div>
|
|
||||||
<div class="description">LinkedIn.</div>
|
|
||||||
</li>
|
|
||||||
</ul>
|
|
||||||
</div>
|
|
||||||
<div class="section" id="webring">
|
|
||||||
<div class="section-title">Webring</div>
|
|
||||||
<div class="content" id="webring-content">
|
|
||||||
<span><a href="https://debauss.art">←</a></span>
|
|
||||||
<span>Webring de la tortue 🐢</span>
|
|
||||||
<span><a href="https://valeran-maytie.fr">→</a></span>
|
|
||||||
</div>
|
</div>
|
||||||
</div>
|
<div class="section" id="education">
|
||||||
</main>
|
<div class="section-title">Education</div>
|
||||||
<footer>
|
<ul class="content">
|
||||||
<span>1.0.0</span>
|
<li>
|
||||||
<span>2024-05-06 </span>
|
<div class="title">
|
||||||
<span>HENRI(1)</span>
|
<a href="https://www.sciences.universite-paris-saclay.fr">
|
||||||
</footer>
|
Faculté des Sciences - Université Paris Saclay</a>
|
||||||
</body>
|
- Since September 2023
|
||||||
|
</div>
|
||||||
|
<div class="description">
|
||||||
|
Master Parisien de Recherche en Informatique (MPRI)
|
||||||
|
</div>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<div class="title">
|
||||||
|
<a href="https://www.fges.fr"
|
||||||
|
>FGES - Université Catholique de Lille</a>
|
||||||
|
- September 2020 to May 2023
|
||||||
|
</div>
|
||||||
|
<div class="description">
|
||||||
|
Licence Sciences du Numérique (SDN)
|
||||||
|
</div>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
<div class="section" id="files">
|
||||||
|
<div class="section-title">Files</div>
|
||||||
|
<ul class="content">
|
||||||
|
<li>
|
||||||
|
<div class="title">
|
||||||
|
<a href="https://henri-saudubray.fr/pdf/cv.pdf">/pdf/cv.pdf</a>
|
||||||
|
</div>
|
||||||
|
<div class="description">Curriculum Vitae.</div>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
<div class="section" id="see_also">
|
||||||
|
<div class="section-title">See Also</div>
|
||||||
|
<ul class="content">
|
||||||
|
<li>
|
||||||
|
<div class="title">
|
||||||
|
<a href="mailto:henri.saudubray@universite-paris-saclay.fr"
|
||||||
|
>henri.saudubray[at]universite-paris-saclay[dot]fr</a>
|
||||||
|
</div>
|
||||||
|
<div class="description">Email address.</div>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<div class="title">
|
||||||
|
<a href="https://codeberg.org/17maiga">codeberg.org/17maiga</a>
|
||||||
|
</div>
|
||||||
|
<div class="description">Git forge.</div>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<div class="title">
|
||||||
|
<a href="https://linkedin.com/in/henri-saudubray"
|
||||||
|
>linkedin.com/in/henri-saudubray</a>
|
||||||
|
</div>
|
||||||
|
<div class="description">LinkedIn.</div>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
<div class="section" id="webring">
|
||||||
|
<div class="section-title">Webring</div>
|
||||||
|
<div class="content" id="webring-content">
|
||||||
|
<span><a href="https://www.gaetanserre.fr">←</a></span>
|
||||||
|
<span>Webring des délices</span>
|
||||||
|
<span><a href="https://exion35.github.io">→</a></span>
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
</main>
|
||||||
|
<footer>
|
||||||
|
<span>1.0.0</span>
|
||||||
|
<span>2024-05-06 </span>
|
||||||
|
<span>HENRI(1)</span>
|
||||||
|
</footer>
|
||||||
|
</body>
|
||||||
</html>
|
</html>
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue