hms/web
1
0
Fork 0
Code Activity Actions

Compare commits

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

No commits in common. "83939ada01435fe992c7d9de67747aefc2961290" and "91340f9a49c5c1b24d5174166393ee64f5a85924" have entirely different histories.
83939ada01 ... 91340f9a49

3 changed files with 2 additions and 87 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.domains Normal file
View file

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

43
man.en.html
View file

@ -56,49 +56,6 @@
</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,50 +60,6 @@
</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">