hms/web
1
0
Fork 0
Code Activity Actions

Compare commits

base: hms:91340f9a49c5c1b24d5174166393ee64f5a85924
Branches Tags
hms:main
...
compare: hms:83939ada01435fe992c7d9de67747aefc2961290
Branches Tags
hms:main

2 commits
91340f9a49 ... 83939ada01

Author SHA1 Message Date
Henri Saudubray
83939ada01
feat (man): teaching 2026-04-03 16:26:48 +02:00
Henri Saudubray
687c1a5d0a
chore: remove .domains 2026-04-03 16:26:34 +02:00
3 changed files with 87 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.domains
View file

@ -1,2 +0,0 @@
henri-saudubray.fr
www.henri-saudubray.fr

43
man.en.html
View file

@ -56,6 +56,49 @@
</li>
</ul>
</div>
<div class="section" id="teaching">
<div class="section-title">Teaching</div>
<ul class="content">
<li>
<div class="title">
Introduction to Computer Science, L1 Informatique, UFR Sciences,
Universit&#xE9; Paris-Saclay - October 2025 to January 2026
</div>
<div class="description">
TA. Introduction to Computer Science: Python, HTML/CSS, networks
basics.
</div>
</li>
<li>
<div class="title">
Introduction to Deductive Verification, PEIP2, Polytech
Paris-Saclay - December 2025 to January 2026
</div>
<div class="description">
TA. Introduction to Deductive Verification with
<a href="www.why3.org">Why3</a>.
</div>
</li>
<li>
<div class="title">
Object-oriented Programming and Software Engineering, L2
Informatique, UFR Sciences, Universit&#xE9; Paris-Saclay - January
to April 2026
</div>
<div class="description">
TA. UML, Java, object-oriented design patterns.
</div>
</li>
<li>
<div class="title">
Databases, PEIP2, Polytech Paris-Saclay - March to April 2026
</div>
<div class="description">
TA. Introduction to SQL, pandas.
</div>
</li>
</ul>
</div>
<div class="section" id="experience">
<div class="section-title">Experience</div>
<ul class="content">

44
man.html
View file

@ -60,6 +60,50 @@
</li>
</ul>
</div>
<div class="section" id="teaching">
<div class="section-title">Enseignement</div>
<ul class="content">
<li>
<div class="title">
Introduction à l'informatique, L1 Informatique, UFR Sciences,
Universit&#xE9; Paris-Saclay - Octobre 2025 - janvier 2026
</div>
<div class="description">
TD/TPs. Cours d'introduction &#xE0; l'informatique : Python,
HTML/CSS, bases de r&#xE9;seau.
</div>
</li>
<li>
<div class="title">
Introduction &#xE0; la v&#xE9;rification d&#xE9;ductive, PEIP2,
Polytech Paris-Saclay - D&#xE9;cembre 2025 - janvier 2026
</div>
<div class="description">
Cours magistraux et TD/TPs. Cours d'introduction &#xE0; la
v&#xE9;rification d&#xE9;ductive avec
<a href="www.why3.org">Why3</a>.
</div>
</li>
<li>
<div class="title">
Programmation Objet et G&#xE9;nie Logiciel, L2 Informatique, UFR
Sciences, Universit&#xE9; Paris-Saclay - Janvier - avril 2026
</div>
<div class="description">
TD/TPs. G&#xE9;nie logiciel, UML, programmation Java.
</div>
</li>
<li>
<div class="title">
Bases de donn&#xE9;es, PEIP2, Polytech Paris-Saclay - Mars - avril
2026
</div>
<div class="description">
TPs. Introduction à SQL, pandas.
</div>
</li>
</ul>
</div>
<div class="section" id="experience">
<div class="section-title">Exp&#xE9;rience</div>
<ul class="content">