man henri
This commit is contained in:
parent
c95619d517
commit
aceacfc7a2
3 changed files with 171 additions and 109 deletions
|
|
@ -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);
|
||||
}
|
||||
|
|
|
|||
156
index.html
156
index.html
|
|
@ -5,97 +5,143 @@
|
|||
<link rel="stylesheet" type="text/css" href="./css/style.css?version=3"/>
|
||||
<title>Henri Saudubray</title>
|
||||
<meta name="description" content="Etudiant en M1 MPRI">
|
||||
<script src="./js/man.js"></script>
|
||||
</head>
|
||||
<body>
|
||||
<header>
|
||||
<div id="who">Henri Saudubray </div>
|
||||
<div id="bio">
|
||||
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.
|
||||
</div>
|
||||
<span>HENRI(1)</span>
|
||||
<span>User information</span>
|
||||
<span>HENRI(1)</span>
|
||||
</header>
|
||||
<div>
|
||||
<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é Paris Saclay, focusing on formal
|
||||
logic, proof assistants, and programming languages.
|
||||
</div>
|
||||
</div>
|
||||
<div class="section" id="experience">
|
||||
<div class="section-title">Experience</div>
|
||||
<div class="content">
|
||||
<ul>
|
||||
<ul class="content">
|
||||
<li>
|
||||
<div class="title">Inductive predicate support in Why3</div>
|
||||
<div class="location">
|
||||
<div class="title">
|
||||
<a href="https://lmf.cnrs.fr">
|
||||
Laboratoire Méthodes Formelles, CNRS
|
||||
</a>
|
||||
Laboratoire Méthodes Formelles, CNRS</a>
|
||||
- Since March 2024
|
||||
</div>
|
||||
<div class="description">
|
||||
Adding support for proofs on inductive predicates in the Why3
|
||||
framework.
|
||||
</div>
|
||||
<div class="dates">Since March 2024</div>
|
||||
</li>
|
||||
<li>
|
||||
<div class="title">Full-stack development on IPA pipeline</div>
|
||||
<div class="location"><a href="https://skapane.ai">Skapánê</a></div>
|
||||
<div class="dates">September 2022 - August 2023</div>
|
||||
</li>
|
||||
<li>
|
||||
<div class="title">
|
||||
Automated end-to-end testing on banking infrastructure
|
||||
<a href="https://skapane.ai">Skapánê</a>
|
||||
- September 2022 to August 2023
|
||||
</div>
|
||||
<div class="location">
|
||||
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
|
||||
<div class="description">
|
||||
Back-end development on containerized infrastructure in Python.
|
||||
Web app design with React.js, Flask and Docker.
|
||||
</div>
|
||||
<div class="dates">May - August 2022</div>
|
||||
</li>
|
||||
<li>
|
||||
<div class="title">Vice-Treasurer and teaching lead</div>
|
||||
<div class="location">Ac'Lab</div>
|
||||
<div class="dates">August 2021 - May 2022</div>
|
||||
<div class="title">
|
||||
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
|
||||
- May to August 2022
|
||||
</div>
|
||||
<div class="description">
|
||||
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">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">
|
||||
Work on customer insight and customer journey. Deployment of an
|
||||
in-house iOS application.
|
||||
</div>
|
||||
</ul>
|
||||
</div>
|
||||
</div>
|
||||
<div class="section" id="formation">
|
||||
<div class="section-title">Formation</div>
|
||||
<div class="content">
|
||||
<ul>
|
||||
<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>
|
||||
<div class="location">Université Paris Saclay</div>
|
||||
<div class="dates">Since September 2023</div>
|
||||
</li>
|
||||
<li>
|
||||
<div class=title">Licence Sciences du Numérique (SDN)</div>
|
||||
<div class="location">Université Catholique de Lille</div>
|
||||
<div class="dates">September 2020 - May 2023</div>
|
||||
<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="section" id="links">
|
||||
<div class="section-title">Links</div>
|
||||
<div class="content">
|
||||
<ul>
|
||||
<li>
|
||||
Mail:
|
||||
[<a href="mailto:henri.saudubray@universite-paris-saclay.fr"
|
||||
>henri.saudubray[at]universite-paris-saclay[dot]fr</a>]
|
||||
</li>
|
||||
<li>
|
||||
Git:
|
||||
[<a href="https://codeberg.org/17maiga"
|
||||
>codeberg.org/17maiga</a>]
|
||||
</li>
|
||||
<li>
|
||||
CV:
|
||||
[<a href="https://henri-saudubray.fr/pdf/cv.pdf">cv.pdf</a>]
|
||||
<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>
|
||||
</main>
|
||||
<div class="footer-ws"></div>
|
||||
<footer>
|
||||
Henri Saudubray - © 2024
|
||||
<span>1.0.0</span>
|
||||
<span>2024-05-06 </span>
|
||||
<span>HENRI(1)</span>
|
||||
</footer>
|
||||
<mark id="message"></mark>
|
||||
</body>
|
||||
</html>
|
||||
|
|
|
|||
19
js/man.js
Normal file
19
js/man.js
Normal file
|
|
@ -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;
|
||||
}
|
||||
}
|
||||
};
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue