From 687c1a5d0a5423d32718914c5b041834665a15af Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:07:10 +0100 Subject: [PATCH 1/2] chore: remove .domains --- .domains | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 .domains diff --git a/.domains b/.domains deleted file mode 100644 index c87c8d5..0000000 --- a/.domains +++ /dev/null @@ -1,2 +0,0 @@ -henri-saudubray.fr -www.henri-saudubray.fr \ No newline at end of file From 83939ada01435fe992c7d9de67747aefc2961290 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:07:10 +0100 Subject: [PATCH 2/2] feat (man): teaching --- man.en.html | 43 +++++++++++++++++++++++++++++++++++++++++++ man.html | 44 ++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 87 insertions(+) diff --git a/man.en.html b/man.en.html index 422338e..2b6f47d 100644 --- a/man.en.html +++ b/man.en.html @@ -56,6 +56,49 @@ +
+
Teaching
+
    +
  • +
    + Introduction to Computer Science, L1 Informatique, UFR Sciences, + Université Paris-Saclay - October 2025 to January 2026 +
    +
    + TA. Introduction to Computer Science: Python, HTML/CSS, networks + basics. +
    +
    • +
  • +
    + Introduction to Deductive Verification, PEIP2, Polytech + Paris-Saclay - December 2025 to January 2026 +
    +
    + TA. Introduction to Deductive Verification with + Why3. +
    +
    • +
  • +
    + Object-oriented Programming and Software Engineering, L2 + Informatique, UFR Sciences, Université Paris-Saclay - January + to April 2026 +
    +
    + TA. UML, Java, object-oriented design patterns. +
    +
    • +
  • +
    + Databases, PEIP2, Polytech Paris-Saclay - March to April 2026 +
    +
    + TA. Introduction to SQL, pandas. +
    +
    • +
+
Experience
    diff --git a/man.html b/man.html index 8d41b67..30613b4 100644 --- a/man.html +++ b/man.html @@ -60,6 +60,50 @@
+
+
Enseignement
+
    +
  • +
    + Introduction à l'informatique, L1 Informatique, UFR Sciences, + Université Paris-Saclay - Octobre 2025 - janvier 2026 +
    +
    + TD/TPs. Cours d'introduction à l'informatique : Python, + HTML/CSS, bases de réseau. +
    +
    • +
  • +
    + Introduction à la vérification déductive, PEIP2, + Polytech Paris-Saclay - Décembre 2025 - janvier 2026 +
    +
    + Cours magistraux et TD/TPs. Cours d'introduction à la + vérification déductive avec + Why3. +
    +
    • +
  • +
    + Programmation Objet et Génie Logiciel, L2 Informatique, UFR + Sciences, Université Paris-Saclay - Janvier - avril 2026 +
    +
    + TD/TPs. Génie logiciel, UML, programmation Java. +
    +
    • +
  • +
    + Bases de données, PEIP2, Polytech Paris-Saclay - Mars - avril + 2026 +
    +
    + TPs. Introduction à SQL, pandas. +
    +
    • +
+
Expérience