hms/web
1
0
Fork 0
Code Activity Actions
web/man.html

207 lines
7.3 KiB
HTML
Raw Blame History

<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="./css/base.css?version=3">
<link rel="stylesheet" type="text/css" href="./css/man.css?version=3">
<title>Henri Saudubray</title>
<meta name="description" content="Computer Science Student">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
</head>
<body>
<header>
<span>HENRI(1)</span>
<span>User information</span>
<span>HENRI(1)</span>
</header>
<main>
<div class="section" id="name">
<div class="section-title">Name</div>
<div class="content">
Henri Saudubray - Computer science student
</div>
</div>
<div class="section" id="synopsis">
<div class="section-title">Synopsis</div>
<div class="content">
I am a computer science student at Parisian Master of Research in
Computer Science (MPRI) at Universit&#xE9; Paris Saclay, focusing on
formal logic, proof assistants, and programming languages.
</div>
</div>
<div class="publications" id="publications">
<div class="section-title">Publications</div>
<ul class="content">
<li>
<div class="title">
<a href="./pdf/articles/jfla-2025.pdf">
/pdf/articles/jfla-2025.pdf
</a>
</div>
<div class="description">
"Faire chauffer Why3 avec de l'induction".
<br>
Describes the addition of a new construct to the WhyML language
allowing for case analysis on inductive predicate instances.
<br>
Written with <a href="https://usr.lmf.cnrs.fr/~jcf/index.fr.html">
Jean-Christophe Filliâtre
</a> and <a href="http://www.tertium.org/">Andrei Paskevich</a>.
</div>
</li>
</ul>
</div>
<div class="section" id="experience">
<div class="section-title">Experience</div>
<ul class="content">
<li>
<div class="title">
<a href="https://parkas.di.ens.fr">
INRIA, PARKAS Team</a>
- March to August 2025
</div>
<div class="description">
M2 Internship. Working on reproducibility and transparency of
assertions in the synchronous hybrid language
<a href="https://zelus.di.ens.fr">Z&#xE9;lus</a>.
Definition of a formal semantics for a multi-solver language
back-end.
</div>
</li>
<li>
<div class="title">
<a href="https://lmf.cnrs.fr">
Laboratoire M&#xE9;thodes Formelles, CNRS</a>
- March to July 2024
</div>
<div class="description">
M1 Internship. Added support for case analysis and proofs by
induction on inductive predicates in the
<a href="https://www.why3.org">Why3</a> framework.
Translated a Coq proof to Why3 as a test.
</div>
</li>
<li>
<div class="title">
<a href="https://skapane.ai">Skap&#xE1;n&#xEA;</a>
- September 2022 to August 2023
</div>
<div class="description">
L3 Traineeship. Back-end development on containerized
infrastructure in Python. Web app design with React.js, Flask and
Docker.
</div>
</li>
<li>
<div class="title">
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
- May to August 2022
</div>
<div class="description">
L2 Internship. Development of an automated end-to-end testing tool
and ISO 20022 file format converter for CDC's banking
infrastructure in Java.
</div>
</li>
<li>
<div class="title">Ac'Lab - August 2021 - May 2022</div>
<div class="description">
Association. Vice-Treasurer and Teaching Lead.
</div>
</li>
<li>
<div class="title">
<a href="https://www.fnacdarty.com">Fnac Darty</a>
- May to August 2021
</div>
<div class="description">
L1 Internship. Work on customer insight and customer journey.
Deployment of an in-house iOS application.
</div>
</ul>
</div>
<div class="section" id="education">
<div class="section-title">Education</div>
<ul class="content">
<li>
<div class="title">
<a href="https://ens-paris-saclay.fr">
ENS Paris Saclay</a>
- September 2024 - March 2025
</div>
<div class="description">
Master Parisien de Recherche en Informatique (MPRI)
</div>
</li>
<li>
<div class="title">
<a href="https://www.sciences.universite-paris-saclay.fr">
Facult&#xE9; des Sciences - Universit&#xE9; Paris Saclay</a>
- September 2023 - March 2024
</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&#xE9; Catholique de Lille</a>
- September 2020 to May 2023
</div>
<div class="description">
Licence Sciences du Num&#xE9;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="./pdf/cv.pdf">/pdf/cv.pdf</a>
</div>
<div class="description">Curriculum Vitae.</div>
</li>
<li>
<div class="title">
<a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a>
</div>
<div class="description">Report for M1 Internship.</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@proton.me"
>henri.saudubray[at]proton[dot]me</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>
</main>
<footer>
<span>1.3.0</span>
<span>2025-03-24&nbsp;</span>
<span>HENRI(1)</span>
</footer>
</body>
</html>
View git blame Copy permalink